2124 search results - page 329 / 425 » Changing the paradigm of software engineering |
129
click to vote
AMAST
2006
Springer
15 years 7 months 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...
125
Voted
CSMR
2004
IEEE
15 years 7 months 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...
167
click to vote
EDBTW
2006
Springer
15 years 7 months 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...
152
click to vote
EDBTW
2006
Springer
15 years 7 months 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...
120
click to vote
EMSOFT
2006
Springer
15 years 7 months 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...