12981 search results - page 2519 / 2597 » Model Checking and Abstraction |
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
102
click to vote
EMMCVPR
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a Bayesian inference algorithm for image layer representation [26], 2.1D sketch [6], with mixed Markov random field. 2.1D sketch is an very important...
112
click to vote
GEOS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A Wide-Area Sensor Network (WASN) is a collection of heterogeneous sensor networks and data repositories spread over a wide geographic area. The diversity of sensor types...
127
click to vote
GFKL
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The manual acquisition and modeling of tourist information as e.g. addresses of points of interest is time and, therefore, cost intensive. Furthermore, the encoded inform...
GI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract: Es wird die Erweiterung von logistischen Servicenetzen um ein selbststeuerendes Verfahren zur Kapazit¨ats- und Robustheitssteigerung beschrieben. Dazu werden die zugeh¨...