Sciweavers

16218 search results - page 490 / 3244
» Standards
Sort
View
CN
2002
111views more  CN 2002»
15 years 7 months ago
Analysis and optimisation of event-condition-action rules on XML
XML is a now a dominant standard for storing and exchanging information. With its increasing use in areas such as data warehousing and e-commerce, there is a rapidly growing need ...
James Bailey, Alexandra Poulovassilis, Peter T. Wo...
CORR
2002
Springer
87views Education» more  CORR 2002»
15 years 7 months ago
Ultimate approximations in nonmonotonic knowledge representation systems
We study xpoints of operators on lattices. To this end we introduce the notion of an approximation of an operator. We order approximations by means of a precision ordering. We sho...
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczyn...
ENTCS
2000
70views more  ENTCS 2000»
15 years 7 months ago
A Space Semantics for Core Haskell
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
Adam Bakewell, Colin Runciman
AAI
1999
71views more  AAI 1999»
15 years 7 months ago
Multiagent Treatment of Agenthood
There have been numerous attempts to provide a standardized definition of a computational agent, but little consensus has emerged. We propose a simple test for agenthood that can ...
Michael N. Huhns, Munindar P. Singh
IJISEC
2002
52views more  IJISEC 2002»
15 years 7 months ago
Securing SOAP e-services
Remote service invocation via HTTP and XML promises to become an important component of the Internet infrastructure. Work is ongoing in the W3C XML Protocol Working Group to define...
Ernesto Damiani, Sabrina De Capitani di Vimercati,...