Sciweavers

1998 search results - page 248 / 400
» Situated Control Rules
Sort
View
139
Voted
INFSOF
2006
117views more  INFSOF 2006»
15 years 5 months ago
A high concurrency XPath-based locking protocol for XML databases
Providing efficient access to XML documents becomes crucial in XML database systems. More and more concurrency control protocols for XML database systems were proposed in the past...
Kuen-Fang Jack Jea, Shih-Ying Chen
JOLLI
2006
123views more  JOLLI 2006»
15 years 5 months ago
Cut and Pay
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
Marcelo Finger, Dov M. Gabbay
162
Voted
CSSE
2002
IEEE
15 years 4 months ago
Characteristics of assured service and an alternative RIO scheme in differentiated services networks
Assured Service, a service model of Internet Differentiated Services (DiffServ) architecture, is not so well accommodated by the current Internet environment. This is because the I...
Seung-Joon Seok, Sung-Hyuck Lee, Jinwoo Park, Chul...
ECRA
2002
129views more  ECRA 2002»
15 years 4 months ago
A formal approach to negotiating agents development
This paper presents a formal and executable approach to capture the behaviour of parties involved in a negotiation. A party is modeled as a negotiating agent composed of a communi...
Marlon Dumas, Guido Governatori, Arthur H. M. ter ...
VTC
2010
IEEE
233views Communications» more  VTC 2010»
15 years 3 months ago
Quantization and Transmission of the Energy Measures for Cooperative Spectrum Sensing
— We consider the sensing of the frequency spectrum based on energy detection for cognitive radios. It has been shown that the reliability of the sensing can be improved by using...
Olivier van den Biggelaar, Jean-Michel Dricot, Phi...