1153 search results - page 216 / 231 » Compositional Specification Calculus for Information Systems... |
147
click to vote
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract--The now commonplace multi-core chips have introduced, by design, a deep hierarchy of memory and cache banks within parallel computers as a tradeoff between the user frien...
108
click to vote
MOBISYS
2007
ACM
16 years 1 months ago
2007
ACM
We envision a new better-together mobile application paradigm where multiple mobile devices are placed in a close proximity and study a specific together-viewing video application...
121
click to vote
ECAI
1998
Springer
15 years 6 months ago
1998
Springer
Many kinds of knowledge-based system would be easier to develop and maintain if domain experts (as opposed to knowledge engineers) were in a position to define and edit the knowled...
124
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...
112
click to vote
ICFP
2004
ACM
16 years 1 months ago
2004
ACM
Among slide-presentation systems, the dominant application offers lly no abstraction capability. Slideshow, an extension of PLT Scheme, represents our effort over the last several...