Sciweavers

3868 search results - page 408 / 774
» Open Systems in TLA
Sort
View
QEST
2007
IEEE
16 years 1 months ago
Cluster Grid based Response-time analysis module for the PIPE Tool
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
Harini Kulatunga, Ashok Argent-Katwala, William J....
WCRE
2007
IEEE
16 years 1 months ago
A Study of Consistent and Inconsistent Changes to Code Clones
Code Cloning is regarded as a threat to software maintenance, because it is generally assumed that a change to a code clone usually has to be applied to the other clones of the cl...
Jens Krinke
ATAL
2007
Springer
16 years 29 days ago
Dynamic semantics for agent communication languages
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...
Michael Rovatsos
DALT
2007
Springer
16 years 29 days ago
Interoperation in Protocol Enactment
Interoperability has been broadly conceptualized as the ability of agents to work together. In open systems, the interoperability of agents is an important concern. A common way of...
Amit K. Chopra, Munindar P. Singh
EUROPAR
2007
Springer
16 years 29 days ago
SymGrid: A Framework for Symbolic Computation on the Grid
This paper introduces the design of SymGrid, a new Grid framework that will, for the first time, allow multiple invocations of symbolic computing applications to interact via the ...
Kevin Hammond, Abdallah Al Zain, Gene Cooperman, D...