14190 search results - page 2513 / 2838 » Abstractions for hybrid systems |
200
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
As more and more multi-tier services are developed from commercial components or heterogeneous middleware without the source code available, both developers and administrators nee...
231
click to vote
APN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
227
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...
214
click to vote
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The goal of this work is to build video cameras whose spatial and temporal resolutions can be changed post-capture depending on the scene. Building such cameras is diffic...
164
click to vote
AAAI
2007
15 years 10 months ago
2007
Symmetry is a widespread phenomenon that can offer opportunities for powerful exploitation in areas as diverse as molecular chemistry, pure mathematics, circuit design, biology an...