Sciweavers

1047 search results - page 64 / 210
» Using Objects for Next Generation Communication Services
Sort
View
AAAI
1996
15 years 4 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 4 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 8 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 3 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 26 days 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