3931 search results - page 596 / 787 » Separation logic and abstraction |
198
click to vote
E4MAS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Whenever a multiagent system is designed, many dependencies in the system are identified and must be solved in a correct way. Coordination deals with the management of s...
178
click to vote
FATES
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
197
click to vote
FC
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. RFID tags have very promising applications in many domains (retail, rental, surveillance, medicine to name a few). Unfortunately the use of these tags can have serious im...
174
click to vote
FIMH
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. In this paper we present a novel approach to the problem of spatiotemporal alignment of cardiac MR image sequences. This novel method has the ability to correct spatial m...
203
click to vote
FSE
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. This paper discusses the state-of-the-art software optimization methodology for symmetric cryptographic primitives on Pentium III and 4 processors. We aim at maximizing s...