10159 search results - page 1900 / 2032 » System Design Validation Using Formal Models |
209
click to vote
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
216
click to vote
IJCAI
1989
15 years 8 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
272
click to vote
GSN
2009
Springer
16 years 3 days ago
2009
Springer
A wireless sensor network deployment on a glacier in Iceland is described. The system uses power management as well as power harvesting to provide long-term environment sensing. Ad...
217
Voted
SPAA
2010
ACM
16 years 9 days ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...
210
click to vote
INFOCOM
2003
IEEE
16 years 23 days ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...