Sciweavers

383 search results - page 54 / 77
» Knowledge Integration as a Key Problem in an ERP Implementat...
Sort
View
KBSE
2003
IEEE
14 years 28 days ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
IWSAS
2001
Springer
14 years 3 days ago
Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
Alvaro Soto, Pradeep K. Khosla
CRITIS
2007
13 years 9 months ago
Modeling and Simulating Information Security Management
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
Jose Maria Sarriegi, Javier Santos, Jose M. Torres...
IADIS
2003
13 years 9 months ago
Managing with M-Commerce: A Case Study of NDC Limited
Electronic and mobile Commerce have proven to be highly successful in improving cost efficiencies and driving revenue growth for corporations worldwide. Interestingly, the technol...
Stephen Newton
CORR
2010
Springer
186views Education» more  CORR 2010»
13 years 7 months ago
A Homogeneous Reaction Rule Language for Complex Event Processing
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...
Adrian Paschke, Alexander Kozlenkov, Harold Boley