2911 search results - page 331 / 583 » A Theory of Expressiveness in Mechanisms |
132
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
Due to the problem of information overload, locating relevant Web portals precisely based on user requirements is quite an essential task. As the need for application-to-applicatio...
109
click to vote
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
108
click to vote
DOCENG
2003
ACM
15 years 7 months ago
2003
ACM
We discuss how references and citations within a document to particular sources can be verified and guaranteed. When a document refers through a quotation to another document, th...
112
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
In complex systems, like robot plants, applications are built on top of a set of components, or devices. Each of them has particular individual constraints, and there are also log...
111
click to vote
ESOP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper concerns mechanisms for maintaining the value of an instrumentation predicate (a.k.a. derived predicate or view), defined via a logical formula over core pred...