3435 search results - page 518 / 687 » Aspect Model Unweaving |
192
click to vote
EUROCRYPT
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We propose and realize a definition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
190
click to vote
FORMATS
2005
Springer
15 years 12 months ago
2005
Springer
Monitoring real-time concurrent systems is a challenging task. In this paper we formulate (model-based) supervision by means of hidden state history reconstruction, from event (e.g...
172
click to vote
PDCAT
2005
Springer
15 years 12 months ago
2005
Springer
Scheduling divisible workloads in distributed systems has been one of the interesting research problems over the last few years. Most of the scheduling algorithms previously intro...
153
click to vote
POLICY
2005
Springer
15 years 12 months ago
2005
Springer
Policy rules define what behavior is desired in a softwarebased system, they do not describe the corresponding action and event sequences that actually “produce” desired (“...
162
click to vote
PROMAS
2005
Springer
15 years 12 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...