1676 search results - page 220 / 336 » Formal System Development with KIV |
131
click to vote
COSIT
1999
Springer
15 years 9 months ago
1999
Springer
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...
140
click to vote
ECOOP
1998
Springer
15 years 8 months ago
1998
Springer
In this paper we study the fragile base class problem. This problem occurs in open object-oriented systems employing code inheritance as an implementation reuse mechanism. System d...
264
Voted
TASE
2012
IEEE
14 years 6 days ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
171
Voted
ECBS
1999
IEEE
15 years 9 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
134
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...