2748 search results - page 98 / 550 » Generating Object-Z Specifications from Use Cases |
126
Voted
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
This paper addresses quality vs. cost tradeoffs in multisensor pervasive spaces. Specifically, we focus on a case study that uses location sensing in instrumented pervasive spaces ...
165
Voted
ICWSM
2009
15 years 15 days ago
2009
Finding out about a topic online can be time consuming. It involves visiting multiple news sites, encyclopedia entries, video repositories and other resources while discarding irr...
122
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...
127
Voted
SAC
2006
ACM
15 years 2 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...
167
Voted
VISAPP
2010
15 years 20 days ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...