2162 search results - page 200 / 433 » Automated Reasoning on Feature Models |
120
Voted
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
133
Voted
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
167
Voted
NMR
2004
Springer
15 years 10 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
129
Voted
CSL
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We study a weakening of the notion of logical relations, called prelogical relations, that has many of the features that make logical relations so useful but having furth...
122
click to vote
PLILP
1998
Springer
15 years 8 months ago
1998
Springer
The programming languages Erlang and Scheme have many common features, yet the performance of the current implementations of Erlang appears to be below that of good implementations...