3994 search results - page 169 / 799 » Supporting the design of network-spanning applications |
211
click to vote
IJAIT
2006
15 years 7 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
189
click to vote
CHI
2005
ACM
15 years 9 months ago
2005
ACM
Many design models and representations have been proposed to support user-centered system design, such as scenarios, use cases, and prototypes. With these artifacts, designers typ...
203
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
179
click to vote
ICCD
2000
IEEE
16 years 4 months ago
2000
IEEE
el of abstraction by integrating a high-level estimation step. This results in a design loop which is tight led on high level of abstraction (called estimation loop in figure 1). ...
186
click to vote
ICDCSW
2007
IEEE
16 years 1 months ago
2007
IEEE
It is well known that both space and the spatial organization play an important role in our work and learning environments as well as in everyday life. There is a definite need fo...