3318 search results - page 398 / 664 » The Weak Instance Model |
182
click to vote
GECCO
2007
Springer
16 years 25 days ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
175
click to vote
GTTSE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
159
click to vote
DOCENG
2006
ACM
16 years 19 days ago
2006
ACM
Multistructured documents are documents whose structure is composed of a set of concurrent hierarchical structures. In this paper, we propose a new model of multistructured docume...
193
click to vote
HASKELL
2006
ACM
16 years 19 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
193
click to vote
ICPADS
2005
IEEE
16 years 8 days ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...