670 search results - page 44 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
118
Voted
MM
2004
ACM
15 years 6 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
109
Voted
ICSOC
2010
Springer
14 years 11 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...
112
Voted
RAID
2010
Springer
14 years 11 months ago
2010
Springer
The fast-flux service network architecture has been widely adopted by bot herders to increase the productivity and extend the lifespan of botnets’ domain names. A fast-flux bot...
131
click to vote
ECBS
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
98
Voted
ICCV
2005
IEEE
16 years 2 months ago
2005
IEEE
In most cases when information is to be extracted from an image, there are priors available on the state of the world and therefore on the detailed measurements which will be obta...