4350 search results - page 828 / 870 » Case studies for contract-based systems |
CIVR
2007
Springer
14 years 2 months ago
2007
Springer
The vast majority of the features used in today’s commercially deployed image search systems employ techniques that are largely indistinguishable from text-document search – t...
PAM
2007
Springer
14 years 2 months ago
2007
Springer
The DNS root nameservers routinely use anycast in order to improve their service to clients and increase their resilience against various types of failures. We study DNS traffic co...
VMCAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
SIPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
HRI
2006
ACM
14 years 2 months ago
2006
ACM
Along with the development of interactive robots, controlled experiments and field trials are regularly conducted to stage human-robot interaction. Experience in this field has sh...