1141 search results - page 144 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
167
click to vote
ICSM
1997
IEEE
15 years 10 months ago
1997
IEEE
Software evolution is the most costly and time consuming software development activity. Yet software engineering research is predominantly concerned with initial development. MORA...
172
click to vote
RTCSA
2005
IEEE
15 years 12 months 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...
170
click to vote
RE
2007
Springer
16 years 13 days ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
177
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
Boolean satisfiability (SAT) solvers are used heavily in hardware and software verification tools for checking satisfiability of Boolean formulas. Most state-of-the-art SAT solver...
253
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
This paper describes the overall architecture and design aspects of a hybrid relational and XML database system called System RX. We believe that such a system is fundamental in t...