2477 search results - page 294 / 496 » First-Order Interactive Programming |
115
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
CRYPTO
2007
Springer
15 years 8 months ago
2007
Springer
The economics of information security has recently become a thriving and fast-moving discipline. As distributed systems are assembled from machines belonging to principals with div...
106
Voted
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Although one of the main promises of aspect-oriented (AO) programming techniques is to promote better software changeability than objectoriented (OO) techniques, there is no empiri...
124
Voted
SMALLTALK
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
94
Voted
TPHOL
2003
IEEE
15 years 7 months ago
2003
IEEE
MetaPRL is the latest system to come out of over twenty five years of research by the Cornell PRL group. While initially created at Cornell, MetaPRL is currently a collaborative p...