Sciweavers

1047 search results - page 64 / 210
» Using Objects for Next Generation Communication Services
Sort
View
AAAI
1996
15 years 7 months ago
Lazy Arc Consistency
Arc consistency filtering is widely used in the framework of binary constraint satisfaction problems: with a low complexity, inconsistency may be detected,and domains are filtered...
Thomas Schiex, Jean-Charles Régin, Christin...
ICDE
2007
IEEE
125views Database» more  ICDE 2007»
16 years 7 months ago
Ontology-Based Constraint Recognition for Free-Form Service Requests
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
Muhammed Al-Muhammed, David W. Embley
FM
2005
Springer
156views Formal Methods» more  FM 2005»
15 years 11 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
BMCBI
2010
112views more  BMCBI 2010»
15 years 6 months ago
SeqAnt: A web service to rapidly identify and annotate DNA sequence variations
Background: The enormous throughput and low cost of second-generation sequencing platforms now allow research and clinical geneticists to routinely perform single experiments that...
Amol Carl Shetty, Prashanth Athri, Kajari Mondal, ...
GLOBECOM
2009
IEEE
15 years 3 months ago
Measurements of Multicast Service Discovery in a Campus Wireless Network
Abstract--Applications using multicast service discovery protocols, such as iTunes, have become increasingly popular. However, multicast service discovery protocols generate signif...
Se Gi Hong, Suman Srinivasan, Henning Schulzrinne