11436 search results - page 1855 / 2288 » Modeling Real Reasoning |
180
click to vote
EPEW
2005
Springer
15 years 11 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...
142
click to vote
ESORICS
2005
Springer
15 years 11 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...
187
click to vote
ESWS
2005
Springer
15 years 11 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...
162
click to vote
ICLP
2005
Springer
15 years 11 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 ...
164
click to vote
ICLP
2005
Springer
15 years 11 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...