154 search results - page 14 / 31 » Reasoning about edits to feature models |
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
IRI
2008
IEEE
15 years 4 months ago
2008
IEEE
abstract An imprecise probability distribution is an instance of second-order uncertainty, that is, uncertainty about uncertainty, or uncertainty for short. Another instance is an ...
MM
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
101
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...