2604 search results - page 331 / 521 » General constant expressions for system programming language... |
261
Voted
POPL
2005
ACM
16 years 4 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
146
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We consider the issue of representing coalitional games in multiagent systems that exhibit externalities from coalition formation, i.e., systems in which the gain from forming a c...
174
click to vote
FIW
1998
15 years 6 months ago
1998
We present a method to systematically detect feature interactions in requirements, which are expressed as constraints on system event traces. We show its application on the lift sy...
128
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
Modeling for synthesis and modeling for simulation seem to be two competing goals in the context of C++-based modeling frameworks. One of the reasons is while most hardware system...
127
click to vote
BIOINFORMATICS
2005
15 years 4 months ago
2005
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...