12981 search results - page 491 / 2597 » Model Checking (Abstract) |
148
click to vote
SPLC
2010
15 years 6 months ago
2010
Creating a valid software configuration of a product line can require laborious customizations involving multiple configuration file types, such as feature models, domain-specific ...
402
click to vote
JTRES
2010
ACM
15 years 5 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
146
click to vote
NJC
2006
15 years 5 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
131
click to vote
MFCS
2010
Springer
15 years 3 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
130
Voted
SRDS
2003
IEEE
15 years 10 months ago
2003
IEEE
The perfectly synchronized round model provides the abstraction of crash-stop failures with atomic message delivery. This abstraction makes distributed programming very easy. We p...