2024 search results - page 249 / 405 » A Formal Model of Multi-agent Computations |
113
click to vote
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
107
click to vote
RTCSA
2006
IEEE
15 years 5 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
83
Voted
VLSM
2005
Springer
15 years 5 months ago
2005
Springer
In this paper we describe a new framework for the tracking of closed curves described through implicit surface modeling. The approach proposed here enables a continuous tracking al...
GC
2004
Springer
15 years 5 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
115
Voted
TIDSE
2004
Springer
15 years 5 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...