1888 search results - page 184 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
136
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
The two major problems raised by a region-based image retrieval system are the automatic definition and description of regions. In this paper we first present a technique of unsup...
153
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
104
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
139
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes a new method for programming and controlling distributed tasks. Applications declare behavior patterns that are used to automatically predict and reserve resou...
138
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
Air Traffic Control is an important application with demanding real-time database processing requirements. Systems that have been implemented using current approaches have typical...