4737 search results - page 872 / 948 » The LOGIC negotiation model |
147
click to vote
BTW
2001
Springer
15 years 8 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
136
click to vote
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
203
click to vote
ISEC
2001
Springer
15 years 8 months ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
132
click to vote
OOPSLA
2001
Springer
15 years 8 months ago
2001
Springer
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
130
click to vote
PADL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...