7380 search results - page 1220 / 1476 » Engineering Software Intensive Systems |
165
click to vote
EUROSYS
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...
174
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
We present EverybodyLovesSketch, a gesture-based 3D curve sketching system for rapid ideation and visualization of 3D forms, aimed at a broad audience. We first analyze traditiona...
176
click to vote
SEFM
2006
IEEE
16 years 19 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...
175
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
195
click to vote
EMSOFT
2008
Springer
15 years 8 months ago
2008
Springer
Real-time Garbage Collection (RTGC) has recently advanced to the point where it is being used in production for financial trading, military command-and-control, and telecommunicat...