Sciweavers

3429 search results - page 261 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
ESOP
2004
Springer
15 years 9 months ago
A Semantic Framework for Designer Transactions
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
Jan Vitek, Suresh Jagannathan, Adam Welc, Antony L...
DEXA
1994
Springer
137views Database» more  DEXA 1994»
15 years 8 months ago
RTSORAC: A Real-Time Object-Oriented Database Model
A real-time database is a database in which both the data and the operations upon the data may have timing constraints. We have integrated real-time, object-oriented, semantic and ...
Janet J. Prichard, Lisa Cingiser DiPippo, Joan Pec...
TARK
2005
Springer
15 years 10 months ago
Semantics for multi-agent only knowing: extended abstract
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
Arild Waaler, Bjørnar Solhaug
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 4 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan
IJAOSE
2010
227views more  IJAOSE 2010»
15 years 2 months 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