345 search results - page 7 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
107
Voted
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
132
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
171
Voted
CL
1999
Springer
15 years 3 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...
115
Voted
ECOOP
2007
Springer
15 years 9 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...
156
Voted
PASTE
2010
ACM
15 years 7 months ago
2010
ACM
ROADRUNNER is a dynamic analysis framework designed to facilitate rapid prototyping and experimentation with dynamic analyses for concurrent Java programs. It provides a clean API...