Sciweavers

1757 search results - page 215 / 352
» Alternating Refinement Relations
Sort
View
138
Voted
INFOCOM
2003
IEEE
15 years 9 months ago
Algorithms for Computing QoS Paths with Restoration
— There is a growing interest among service providers to offer new services with Quality of Service (QoS) guaranties that are also resilient to failures. Supporting QoS connectio...
Yigal Bejerano, Yuri Breitbart, Rajeev Rastogi, Al...
135
Voted
EDBT
2010
ACM
149views Database» more  EDBT 2010»
15 years 9 months ago
Statistics-based parallelization of XPath queries in shared memory systems
The wide availability of commodity multi-core systems presents an opportunity to address the latency issues that have plaqued XML query processing. However, simply executing multi...
Rajesh Bordawekar, Lipyeow Lim, Anastasios Kements...
114
Voted
ICSE
1997
IEEE-ACM
15 years 8 months ago
Prioritizing Software Requirements in an Industrial Setting
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
Kevin Ryan, Joachim Karlsson
181
Voted
KR
1991
Springer
15 years 7 months ago
Meta-Reasoning in Executable Temporal Logic
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
Howard Barringer, Michael Fisher, Dov M. Gabbay, A...
132
Voted
LREC
2008
164views Education» more  LREC 2008»
15 years 5 months ago
AnCora-Verb: A Lexical Resource for the Semantic Annotation of Corpora
In this paper we present two large-scale verbal lexicons, AnCora-Verb-Ca for Catalan and AnCora-Verb-Es for Spanish, which are the basis for the semantic annotation with arguments...
Juan Aparicio, Mariona Taulé, Maria Ant&ogr...