1573 search results - page 212 / 315 » Signs and Formal Concepts |
115
click to vote
SPLC
2004
15 years 3 months ago
2004
Feature modeling is an important approach to capturing commonalities and variabilities in system families and product lines. In this paper, we propose a cardinality-based notation ...
WSS
2001
15 years 3 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
107
click to vote
WSC
1997
15 years 3 months ago
1997
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
119
click to vote
ATAL
2009
Springer
15 years 2 months ago
2009
Springer
Multi-agent systems (MASs), comprised of autonomous entities with the aim to cooperate to reach a common goal, may be viewed as computational models of distributed complex systems ...
125
click to vote
CNL
2009
15 years 2 months ago
2009
Abstract. Clinicians could benefit from decision support systems incorporating the knowledge contained in clinical practice guidelines. However, the unstructured form of these guid...