1226 search results - page 179 / 246 » Proofs, Programs and Abstract Complexity |
120
click to vote
DAIS
2006
15 years 4 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
150
click to vote
JIRS
2008
15 years 3 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
130
click to vote
IJAOSE
2010
15 years 1 months ago
2010
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. ...
116
click to vote
TASE
2007
IEEE
15 years 9 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
140
click to vote
DAGSTUHL
1998
15 years 4 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...