Sciweavers

1256 search results - page 150 / 252
» A Model of Interaction in Concurrent and Distributed Systems
Sort
View
137
Voted
PERCOM
2004
ACM
16 years 3 months ago
Programming Pervasive and Mobile Computing Applications with the TOTA Middleware
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
Marco Mamei, Franco Zambonelli
SIGSOFT
2010
ACM
15 years 1 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...
FUIN
2006
96views more  FUIN 2006»
15 years 3 months ago
A Component Coordination Model Based on Mobile Channels
In this paper we present a coordination model for component-based software systems based on the notion of mobile channels, define it in terms of a compositional trace-based semanti...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...
157
Voted
OWLED
2008
15 years 5 months ago
Managing Change: An Ontology Version Control System
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...
Timothy Redmond, Michael Smith, Nick Drummond, Tan...
HOLOMAS
2005
Springer
15 years 9 months ago
An Information-Based Agent
Information-based agency is founded on two observations: everything in an agent’s world model is uncertain, and everything that an agent communicates gives away valuable informa...
John K. Debenham