3045 search results - page 166 / 609 » Formal Approaches to Software Architecture |
FASE
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...
105
click to vote
IJNSEC
2008
14 years 11 months ago
2008
Identity-based cryptography uses pairing functions,which are sophisticated bilinear maps defined on elliptic curves.Computing pairings efficiently in software is presently a relev...
ACSAC
2003
IEEE
15 years 4 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
KAIS
2007
14 years 11 months ago
2007
Eliciting requirements for a proposed system inevitably involves the problem of handling undesirable information about customer’s needs, including inconsistency, vagueness, redun...
ICRA
2003
IEEE
15 years 4 months ago
2003
IEEE
— Important theoretical aspects of multi-robot coordination mechanisms have, to date, been largely ignored. To address part of this negligence, we focus on the problem of multi-r...