22114 search results - page 4107 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
183
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri net-based MAS framework Mulan. By transferring the conce...
161
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
191
click to vote
EMSOFT
2005
Springer
16 years 6 days ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...
134
click to vote
EUROCRYPT
2005
Springer
16 years 6 days ago
2005
Springer
This paper introduces the related-key boomerang and the related-key rectangle attacks. These new attacks can expand the cryptanalytic toolbox, and can be applied to many block ciph...
165
click to vote
ICAPR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...