Sciweavers

3713 search results - page 403 / 743
» Constructing a Calculus of Programs
Sort
View
ATAL
2004
Springer
15 years 10 months ago
Decentralized Resource Control for Multi-Agent Systems
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...
Nadeem Jamali, Indratmo, Xinghui Zhao, Gul Agha
XSYM
2004
Springer
89views Database» more  XSYM 2004»
15 years 10 months ago
A Runtime System for XML Transformations in Java
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise stat...
Aske Simon Christensen, Christian Kirkegaard, Ande...
168
Voted
ERSHOV
2003
Springer
15 years 10 months ago
Intersecting Classes and Prototypes
Abstract. The object-oriented programming language design space consists of class-based and prototype-based languages. Both language families have been shown to posses many advanta...
Wolfgang De Meuter, Theo D'Hondt, Jessie Dedecker
IFIP
2001
Springer
15 years 9 months ago
A Standardized Co-simulation Backbone
: In the field of co-simulation, the construction of a bridge between different simulators and the solution of problems like synchronization and data translation are some of the ma...
Braulio Adriano de Mello, Flávio Rech Wagne...
114
Voted
WCRE
1996
IEEE
15 years 9 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia