2493 search results - page 386 / 499 » Tool Support for Design by Contract |
ISSTA
2009
ACM
15 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
GEOS
2009
Springer
15 years 2 months ago
2009
Springer
With the specifications defined through the Sensor Web Enablement initiative of the Open Geospatial Consortium, flexible integration of sensor data is becoming a reality. Challe...
SEMWEB
2001
Springer
15 years 2 months ago
2001
Springer
Ontologies are becoming increasingly prevalent and important in a wide range of e-commerce applications. E-commerce applications are using ontologies to support parametric searches...
CHI
1999
ACM
15 years 2 months ago
1999
ACM
Over the last two centuries, reading styles have shifted away from the reading of documents from beginning to end and toward the skimming of documents in search of relevant inform...
EKAW
2006
Springer
15 years 1 months ago
2006
Springer
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....