8492 search results - page 1487 / 1699 » Modelling and Design of Multi-Agent Systems |
180
click to vote
CODES
2007
IEEE
16 years 11 days ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...
162
click to vote
SEFM
2006
IEEE
16 years 1 days ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
189
click to vote
WCRE
2006
IEEE
16 years 1 days ago
2006
IEEE
The understanding of the structure of a software system can be improved by analyzing the system’s evolution during development. Visualizations of software history that provide o...
181
click to vote
MFCS
1995
Springer
15 years 9 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
168
click to vote
DLOG
2004
15 years 7 months ago
2004
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...