- importsource = "00010782-2011-09.txt"
- Artículo:
Realizing the Future of Wireless Data Communications
- Autor:
Craig Partridge
- Resumen:
Technologies are available to unlock radio spectrum as consumers need it.
- Página:
62
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980172
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Satisfiability Modulo Theories: Introduction and Applications
- Autor:
Leonardo De Moura
Nikolaj Bjørner
- Resumen:
Checking the satisfiability of logical formulas, SMT solvers scale orders of magnitude beyond custom ad hoc solvers.
- Página:
69
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980173
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Calculating and Improving ROI in Software and System Programs
- Autor:
Murray Cantor
- Resumen:
The investment value of innovation follows from a technology's uncertain net present value and derived ROI calculations.
- Página:
121
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980174
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Crossing to the Dark Side: Examining Creators, Outcomes, and Inhibitors of Technostress
- Autor:
Monideepa Tarafdar
Qiang Tu
T. S. Ragu-Nathan
Bhanu S. Ragu-Nathan
- Resumen:
Exploring the factors that may lead to the inability of professionals to adapt or cope with emerging IS in a healthy manner.
- Página:
113
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980175
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
- Artículo:
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
- Autor:
Patricia Bouyer
Uli Fahrenberg
Kim G. Larsen
Nicolas Markey
- Resumen:
Timed automata and their extensions allow for analysis of a wide range of performance and optimization problems.
- Página:
78
- Publicación:
Communications of the ACM
- Volúmen:
54
- Número:
9
- Periodo:
Septiembre 2011
- ISSN:
00010782
- SrcID:
00010782-2011-09.txt
- Documento número 980176
- Actualizado el martes, 10 de julio de 2018 11:05:21 a. m.
- Creado el martes, 10 de julio de 2018 11:05:21 a. m.
- Enlace directo
