4418 search results - page 187 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
151
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
We are developing a personal activity recognition system that is practical, reliable, and can be incorporated into a variety of health-care related applications ranging from person...
190
click to vote
DEBU
2007
15 years 6 months ago
2007
An indexing model is the heart of an Information Retrieval (IR) system. Data structures such as term based inverted indices have proved to be very effective for IR using vector sp...
185
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
208
click to vote
DMSN
2009
ACM
16 years 1 months ago
2009
ACM
Networked, distributed real world sensing is an increasingly prominent topic in computing and has quickly expanded from resource constrained “sensor networks” measuring simple...
169
click to vote
ICW
2005
IEEE
16 years 1 days ago
2005
IEEE
Reconfiguration and self-adaptation are vital capabilities of sensor networks and networked embedded systems that are required to operate in dynamic environments. This paper prese...