1940 search results - page 168 / 388 » Dependable Software: An Oxymoron |
155
click to vote
QSIC
2005
IEEE
16 years 6 hour ago
2005
IEEE
Many programs need to access data in a relational database. This is usually done by means of queries written in SQL. Although the language SQL is declarative, certain runtime erro...
165
click to vote
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
155
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
Complexity of software systems has significantly grown with social dependence on computer system, especially for mobile and internet. So we present component-based communication pr...
180
click to vote
MATES
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
173
click to vote
RISE
2005
Springer
15 years 12 months ago
2005
Springer
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...