1980 search results - page 378 / 396 » Compositional Model Checking of Real Time Systems |
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Organic programming (OP) is our proposed and already emerging programming model which overcomes some of the limitations of current practice in software development in general and ...
CHI
2009
ACM
14 years 8 months ago
2009
ACM
This paper reports results from a study in which we automatically classified the query reformulation patterns for 964,780 Web searching sessions (composed of 1,523,072 queries) in...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
We present a Dynamic Data Driven Application System (DDDAS) to track 2D shapes across large pose variations by learning non-linear shape manifold as overlapping, piecewise linear s...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...