7421 search results - page 1443 / 1485 » In search of dependable design |
159
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
207
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
The next generation of air traffic control will require automated decision support systems in order to meet safety, reliability, flexibility, and robustness demands in an environ...
179
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Early applications of smart cards have focused in the area of personal security. Recently, there has been an increasing demand for networked, multi-application cards. In this new ...
200
click to vote
ESWS
2005
Springer
15 years 11 months ago
2005
Springer
While classic information retrieval methods return whole documents as a result of a query, many information demands would be better satisfied by fine-grain access inside the docu...
161
click to vote
FSE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The need of true random number generators for many purposes (ranging from applications in cryptography and stochastic simulation, to search heuristics and game playing) i...