22114 search results - page 4107 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
197
click to vote
ATAL
2005
Springer
16 years 29 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...
187
click to vote
ATVA
2005
Springer
16 years 29 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 ...
209
click to vote
EMSOFT
2005
Springer
16 years 29 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...
150
click to vote
EUROCRYPT
2005
Springer
16 years 29 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...
192
click to vote
ICAPR
2005
Springer
16 years 28 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...