Sciweavers

357 search results - page 11 / 72
» Toward a Theory of Behavioral Operations
Sort
View
PCI
2001
Springer
13 years 12 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
HICSS
2007
IEEE
139views Biometrics» more  HICSS 2007»
14 years 1 months ago
Physicians' Resistance toward Healthcare Information Technologies: A Dual-Factor Model
This paper proposes and validates a theory of physician resistance toward IT usage by drawing on prior research in the resistance to change literature and a recent dual-factor mod...
Anol Bhattacherjee, Neset Hikmet
QSIC
2008
IEEE
14 years 1 months ago
Fault Localization with Non-parametric Program Behavior Model
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...
Peifeng Hu, Zhenyu Zhang, Wing Kwong Chan, T. H. T...
NOMS
2010
IEEE
195views Communications» more  NOMS 2010»
13 years 5 months ago
Optimized network configuration parameter assignment based on graph coloring
The trend for future mobile networks is to move away from Network Elements (NEs) delivered with specially tailored configurations towards off-the-shelf products. The configurations...
Tobias Bandh, Georg Carle, Henning Sanneck, Lars-C...
FROCOS
2009
Springer
14 years 21 hour ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...