Sciweavers

2035 search results - page 66 / 407
» Communicating Scala Objects
Sort
View
SBIA
1998
Springer
13 years 12 months ago
Building Object-Agents from a Software Meta-Architecture
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
Analía Amandi, Ana Price
IFM
2000
Springer
13 years 11 months ago
Structural Refinement in Object-Z/CSP
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
John Derrick, Graeme Smith
CONCUR
2010
Springer
13 years 8 months ago
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
Frank S. de Boer, Mohammad Mahdi Jaghoori, Einar B...
EJC
2011
13 years 2 months ago
Enumeration of connected Catalan objects by type
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product f...
Brendon Rhoades
JAVA
1999
Springer
13 years 12 months ago
Object Serialization for Marshalling Data in a Java Interface to MPI
Several Java bindings of the Message Passing Interface standard, MPI, have been developed recently. Message bu ers have usually been restricted to arrays with elements of primitiv...
Bryan Carpenter, Geoffrey Fox, Sung Hoon Ko, Sang ...