3256 search results - page 412 / 652 » Applications of Formal Methods to System Design and Verifica... |
162
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
168
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
This paper extends previous work on document retrieval and document type classification, addressing the problem of ‘typed search’. Specifically, given a query and a designated ...
153
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
At runtime, an embedded control system can switch between alternative functional modes. In each mode, the system operates by using a schedule and controllers that exploit the avai...
179
click to vote
RTCSA
2005
IEEE
16 years 4 days ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
181
click to vote
VAMOS
2010
Springer
15 years 8 months ago
2010
Springer
Model-driven development of software-intensive systems aims at designing systems by stepwise model refinement. In order to create software product lines by model-driven development...