7209 search results - page 627 / 1442 » Software Engineering for Multi-Agent Systems |
123
Voted
ECOOPWEXCEPTION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
121
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
113
click to vote
CODES
2008
IEEE
15 years 6 months ago
2008
IEEE
This article proposes a hardware/software partitioning method targeted to performance-constrained systems for datapath applications. Exploiting a platform based design, a Timed Pe...
181
click to vote
FOSSACS
2011
Springer
14 years 8 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
239
click to vote
DAGSTUHL
2011
14 years 4 months ago
2011
We present a data-level comparative visualization system that utilizes two key pieces of technology: (1) cross-mesh field evaluation – algorithms to evaluate a field from one ...