Sciweavers

7971 search results - page 58 / 1595
» On unbounded operators and applications
Sort
View
WORDS
2005
IEEE
15 years 6 months ago
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
Wei-Tek Tsai, Yinong Chen, Raymond A. Paul
104
Voted
JACM
2000
81views more  JACM 2000»
15 years 17 days ago
Relational queries over interpreted structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
74
Voted
KR
1994
Springer
15 years 4 months ago
Making the Difference: A Subtraction Operation for Description Logics
We define a new operation in description logics, the difference operation or subtraction operation. This operation allows to remove from a description as much as possible of the i...
Gunnar Teege
86
Voted
SIGOPSE
1994
ACM
15 years 4 months ago
Application-Aware Adaptation for Mobile Computing
This paper identifies application-aware adaptation as an essential capability of mobile clients, and provides an overview of Odyssey, an architecture that supports this capability...
Mahadev Satyanarayanan, Brian Noble, Puneet Kumar,...
92
Voted
ISRR
2005
Springer
175views Robotics» more  ISRR 2005»
15 years 6 months ago
Surface Mining: Main Research Issues for Autonomous Operations
ct This paper presents the author’s view on the main challenges for autonomous operation in surface mining environment. A brief overview of the mine operation is presented showin...
Eduardo Mario Nebot