2578 search results - page 253 / 516 » A Family-Oriented Software Development Process for Engine Co... |
117
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
133
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The amount of electronics in vehicles is growing quickly, thus systems are becoming increasingly complex which makes the engineering of these software intensive systems more and m...
116
Voted
IWPSE
2005
IEEE
15 years 9 months ago
2005
IEEE
Today’s information technology society increasingly relies on software at all levels. Nevertheless, software quality generally continues to fall short of expectations, and softw...
129
Voted
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
134
Voted
EDBTW
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we aim to develop a framework for continuous query processing in spatio-temporal databases. The proposed framework distinguishes itself from other query processors b...