11436 search results - page 1855 / 2288 » Modeling Real Reasoning |
236
click to vote
EPEW
2005
Springer
16 years 1 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
174
click to vote
ESORICS
2005
Springer
16 years 1 months ago
2005
Springer
We consider the enforcement powers of program monitors, which intercept security-sensitive actions of a target application at run time and take remedial steps whenever the target a...
229
click to vote
ESWS
2005
Springer
16 years 1 months ago
2005
Springer
The Semantic Web is an extension of the current Web in which information is given well-defined meaning to support effective data discovery and integration. The RDF framework is a...
214
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
218
click to vote
ICLP
2005
Springer
16 years 1 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...