2024 search results - page 249 / 405 » A Formal Model of Multi-agent Computations |
215
click to vote
LICS
2006
IEEE
16 years 1 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...
216
Voted
RTCSA
2006
IEEE
16 years 1 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...
170
Voted
VLSM
2005
Springer
16 years 13 days 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...
174
Voted
GC
2004
Springer
16 years 11 days 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...
215
Voted
TIDSE
2004
Springer
16 years 9 days 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...