Sciweavers

9873 search results - page 306 / 1975
» Emergent Semantics Systems
Sort
View
CORR
2008
Springer
192views Education» more  CORR 2008»
15 years 5 months ago
Anomaly Detection in Streaming Sensor Data
In this chapter we consider a cell phone network as a set of automatically deployed sensors that records movement and interaction patterns of the population. We discuss methods fo...
Alec Pawling, Ping Yan, Julián Candia, Timo...
CSMR
2007
IEEE
16 years 1 months ago
Consistently Incorporating Changes to Evolve Transition-based Systems
Evolving software-intensive systems from one consistent state to another is a challenging activity due to the intricate inter-dependencies among the components. In this paper, we ...
Mahadevan Subramaniam, Harvey P. Siy
CODES
2008
IEEE
15 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
SIGDOC
2009
ACM
16 years 1 months ago
Modeling task experience in user assistance systems
One of the major issues for user assistance systems consists of “providing help at an appropriate level”. In this paper we analyze the problem of modeling task experience — ...
Andrea Kohlhase, Michael Kohlhase
ICEIS
2007
IEEE
16 years 1 months ago
Automatic Composition of Semantic Web Services Using Process Mediation
Zixin Wu, Karthik Gomadam, Ajith Ranabahu, Amit P....