15155 search results - page 2449 / 3031 » System Software |
193
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
187
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
144
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
As the cost of both hardware and software falls due to technological advancements and economies of scale, the cost of ownership for database applications is increasingly dominated...
183
click to vote
EDBT
2008
ACM
16 years 7 months ago
2008
ACM
Database technology and the Structured Query Language (SQL) have grown enormously in recent years. Applications from different domains have different requirements for using databa...
197
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The complexity of developing and deploying context-aware pervasive-computing applications calls for distributed software infrastructures that assist applications to collect, aggre...