391 search results - page 41 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
130
click to vote
ENTCS
2006
15 years 15 days ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
104
Voted
SPIN
2000
Springer
15 years 4 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
89
Voted
NIME
2004
Springer
15 years 5 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
116
click to vote
CODES
2003
IEEE
15 years 5 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
129
click to vote
COMPSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
In distributed IT systems, replication of information is commonly used to strengthen the fault tolerance on a technical level or the autonomy of an organization on a business level...