4469 search results - page 484 / 894 » Dynamic Program Slicing |
205
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
197
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
239
click to vote
ECOOPW
1999
Springer
15 years 11 months ago
1999
Springer
This paper describes a novel application for Aspect-Oriented Programming (AOP). By combining the concepts of Business Process Management and AOP, we present an approach for enabli...
176
click to vote
HICSS
1998
IEEE
15 years 11 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
185
click to vote
IPPS
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe how we have parallelized Python, an interpreted object oriented scripting language, and used it to build an extensible message-passing molecular dynamics application f...