670 search results - page 44 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
140
click to vote
MM
2004
ACM
15 years 7 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...
118
Voted
ICSOC
2010
Springer
15 years 24 days 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...
135
click to vote
RAID
2010
Springer
15 years 21 days 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...
149
Voted
ECBS
2005
IEEE
15 years 8 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...
112
click to vote
ICCV
2005
IEEE
16 years 4 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...