Sciweavers

386 search results - page 65 / 78
» A Consistent Semantics of Self-adjusting Computation
Sort
View
106
Voted
ECOOP
2006
Springer
15 years 5 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
FORMATS
2006
Springer
15 years 5 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi
101
Voted
ISTA
2001
15 years 3 months ago
A Technique for Information System Integration
: Nowadays, a central topic in database science is the need of an integrated access to large amounts of data provided by various information sources whose contents are strictly rel...
Sergio Greco, Luigi Pontieri, Ester Zumpano
107
Voted
TC
2002
15 years 1 months ago
The Timewheel Group Communication System
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
Shivakant Mishra, Christof Fetzer, Flaviu Cristian
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 9 days ago
Implementing reactive BDI agents with user-given constraints and objectives
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...
Aniruddha Dasgupta, Aditya K. Ghose