273 search results - page 34 / 55 » A Compositional Semantics for Conditional Term Rewriting Sys... |
182
click to vote
VLDB
2001
ACM
15 years 12 months ago
2001
ACM
Abstract In this paper we present a mechanism for approximately translating Boolean query constraints across heterogeneous information sources. Achieving the best translation is ch...
122
click to vote
ARTS
1997
Springer
15 years 3 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Web Services provide standardized interfaces for accessing software systems and data sources over the Internet. Semantic descriptions of Web Services help to automate the discovery...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
CORR
2011
Springer
14 years 3 months ago
2011
Springer
—Fitts’ law is a fundamental tool in measuring the capacity of the human motor system. It measures information throughput in terms of the tradeoff between the speed and accurac...