1521 search results - page 127 / 305 » On Sampled Semantics of Timed Systems |
SAC
2005
ACM
15 years 3 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
MEMOCODE
2003
IEEE
15 years 3 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
SEBD
2003
14 years 11 months ago
2003
Current image retrieval systems do not provide users with adequate interfaces able to reduce the semantic gap existing between the high-level semantics of images (as perceived by t...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
The Gnutella protocol requires peers to broadcast messages to their neighbours when they search files. The message passing generates a lot of traffic in the network, which degrade...
AGP
1995
IEEE
15 years 1 months ago
1995
IEEE
Pattern analysis consists in determining the shape of the set of solutions of the constraint store at some program points. Our basic claim is that pattern analyses can all be desc...