Sciweavers

2637 search results - page 42 / 528
» Tool Supported Specification and Simulation of Distributed S...
Sort
View
CORR
2010
Springer
167views Education» more  CORR 2010»
15 years 2 months ago
Development of a Context Aware Virtual Smart Home Simulator
Context awareness is the most important research area in ubiquitous computing. In particular, for smart home, context awareness attempts to bring the best services to the home hab...
Tam Van Nguyen, Huy Anh Nguyen, Deokjai Choi
MICAI
2005
Springer
15 years 7 months ago
Knowledge and Reasoning Supported by Cognitive Maps
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
Alejandro Peña Ayala, Humberto Sossa, Agust...
ISORC
1998
IEEE
15 years 6 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
EDOC
2006
IEEE
15 years 5 months ago
Integrated Configuration of Enterprise Systems for Interoperability -- Towards Process Model and Business Document Specification
Enterprise Systems (ES) can be understood as the de facto standard for holistic operational and managerial support within an organization. Most commonly ES are offered as commerci...
Christian Janiesch, Alexander Dreiling, Ulrike Gre...
CEC
2007
IEEE
15 years 8 months ago
Evolutionary optimization of parameters for distributed virtual environments
—In a distributed virtual environment interest management schemes attempt to ensure virtual world objects exchange messages only if they are interacting. This provides an opportu...
Simon E. Parkin, Peter Andras, Graham Morgan