92 search results - page 17 / 19 » Proof Planning with Multiple Strategies |
106
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
84
Voted
EDBT
2006
ACM
15 years 9 months ago
2006
ACM
Federated queries are regular relational queries accessing data on one or more remote relational or non-relational data sources, possibly combining them with tables stored in the ...
MVA
1990
14 years 10 months ago
1990
This paper proposes a new method for automatic fire detection in cities using image processing techniques. Images are obtained successively at regular intervals from monochrome TV...
AOSD
2005
ACM
15 years 3 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
MOBIQUITOUS
2007
IEEE
15 years 3 months ago
2007
IEEE
— The dynamic nature of mobile ad hoc networks poses fundamental challenges to the design of service composition schemes that can minimize the effect of service disruptions. Alth...