2523 search results - page 218 / 505 » Correct Development of Embedded Systems |
164
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
ESAW
2004
Springer
15 years 8 months ago
2004
Springer
The deployment of multi-agent systems demands for justified confidence into their behaviour, both with respect to correct results of computations and with respect to timeliness t...
111
Voted
VMCAI
2004
Springer
15 years 8 months ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
124
click to vote
FLAIRS
2004
15 years 4 months ago
2004
We develop the default logic for pragmatic analysis of natural language queries. Ambiguous sentences are considered so that each set of meanings is assigned an extension of defaul...
158
click to vote
RTCSA
2003
IEEE
15 years 8 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by c...