959 search results - page 84 / 192 » Formal Description Techniques - How Formal and Descriptive a... |
ISVC
2007
Springer
14 years 2 months ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
SFM
2007
Springer
14 years 2 months ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
— In this paper we present the Secure Dynamic Source Routing protocol for Mobile Ad hoc Networks that prevents a lot of potential attacks to these kind of networks. We also prese...
FASE
2001
Springer
14 years 20 days ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
COMPOS
1997
Springer
14 years 10 days ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...