2698 search results - page 525 / 540 » Software Process Model Blueprints |
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...
ACMICEC
2006
ACM
14 years 1 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...
CASES
2006
ACM
14 years 1 months ago
2006
ACM
Architectural advances of modern systems has often been at odds with control complexity, requiring significant effort in both design and verification. This is particularly true ...
AOSE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
ZUM
1997
Springer
13 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...