3971 search results - page 201 / 795 » On the Use of Properties in Java Applications |
194
click to vote
IWANN
2005
Springer
15 years 12 months ago
2005
Springer
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...
166
click to vote
CAV
2001
Springer
15 years 10 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
154
click to vote
CSSE
2002
IEEE
15 years 6 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
109
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
We created a simple-to-use framework to construct gazeresponsive applications using web technology focussing on text. A plugin enables any compatible browser to interpret a new se...
173
click to vote
RULEML
2009
Springer
16 years 1 months ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...