59 search results - page 6 / 12 » Towards Modularized Verification of Distributed Time-Trigger... |
TPPP
1994
13 years 11 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
SAINT
2003
IEEE
14 years 24 days ago
2003
IEEE
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
MODELS
2009
Springer
14 years 2 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
VVEIS
2007
13 years 8 months ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
ICAIL
2007
ACM
13 years 11 months ago
2007
ACM
The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. This papers proposes the use of agent technology to sup...