1210 search results - page 90 / 242 » Formal Techniques for Java Programs |
143
Voted
JAVA
2001
Springer
15 years 7 months ago
2001
Springer
Many concurrent garbage collection (GC) algorithms have been devised, but few have been implemented and evaluated, particularly for the Java programming language. Sapphire is an a...
114
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
110
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
140
Voted
AAAI
2000
15 years 4 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
126
Voted
CADE
2005
Springer
16 years 2 months ago
2005
Springer
In today's society, people have very little control over what kinds of personal data are collected and stored by various agencies in both the private and public sectors. We de...