4498 search results - page 627 / 900 » How to Invent Functions |
114
Voted
SAFECOMP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
131
click to vote
SARA
2005
Springer
15 years 10 months ago
2005
Springer
Intelligent agents acting in real world environments need to synthesize their course of action based on multiple sources of knowledge. They also need to generate plans that smoothl...
130
click to vote
SPIRE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We introduce a new data structure, called MiGaL for “Multiple Graph Layers”, that is composed of various graphs linked together ions of abstraction/refinement. The n...
152
click to vote
TCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider the problem of password-authenticated key exchange (PAK) also known as session-key generation using passwords: constructing session-key generation protocols t...
133
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...