4814 search results - page 588 / 963 » Combining abstract interpreters |
201
click to vote
FIDJI
2003
Springer
16 years 2 hour ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
171
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
167
click to vote
HIPC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. System area networks (SANs) need to support low-fanout multicasts efficiently in addition to broadcasts and unicasts. A critical component in SANs is the switch, which i...
149
click to vote
HUC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Three tools for acquiring data about people, their behavior, and their use of technology in natural settings are described: (1) a context-aware experience sampling tool, ...
177
click to vote
IBPRIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper presents a new framework for the motion segmentation and estimation task on sequences of two grey images without a priori information of the number of moving r...