2545 search results - page 357 / 509 » An Architectural Discussion on DSPL |
204
Voted
SPIN
2004
Springer
16 years 12 days ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
215
click to vote
CA
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper describes an animated conversational agent called Kare1 which integrates a talking head interface with a linguistically motivated human-machine dialogue system. The age...
220
click to vote
IPPS
2003
IEEE
16 years 10 days ago
2003
IEEE
We discuss here a parallel implementation of the visualisation of data from a galaxy formation simulation within the Triana problem-solving environment. The visualisation is a tes...
197
click to vote
FCCM
2002
IEEE
16 years 1 days ago
2002
IEEE
NASA’s satellites currently do not make use of advanced image compression techniques during data transmission to earth because of limitations in the available platforms. With th...
211
Voted
WORDS
2002
IEEE
15 years 12 months ago
2002
IEEE
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...