358 search results - page 51 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
151
Voted
IGARSS
2010
15 years 1 months ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
117
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
134
Voted
FORMATS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Introducing a monitor on a system typically changes the system's behaviour by slowing the system down and increasing memory consumption. This may possibly result in ...
129
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
119
Voted
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...