7380 search results - page 1220 / 1476 » Engineering Software Intensive Systems |
126
Voted
EUROSYS
2007
ACM
16 years 23 days ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...
127
Voted
UIST
2009
ACM
15 years 10 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...
137
Voted
SEFM
2006
IEEE
15 years 9 months 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...
134
Voted
COMPSAC
2007
IEEE
15 years 7 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...
157
Voted
EMSOFT
2008
Springer
15 years 5 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...