2124 search results - page 329 / 425 » Changing the paradigm of software engineering |
AMAST
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
CSMR
2004
IEEE
14 years 17 days ago
2004
IEEE
Institutions and companies that are based in countries where the main language is not English typically publish Web sites that offer the same information at least in the local lan...
EDBTW
2006
Springer
14 years 15 days ago
2006
Springer
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...
EDBTW
2006
Springer
14 years 15 days ago
2006
Springer
One of the goals of cleaning an inconsistent database is to remove conflicts between tuples. Typically, the user specifies how the conflicts should be resolved. Sometimes this spec...
EMSOFT
2006
Springer
14 years 15 days ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...