9697 search results - page 1610 / 1940 » Intelligent Transportation Systems |
157
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
169
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
In a new model for answer retrieval, document collections are distilled offline into large repositories of facts. Each fact constitutes a potential direct answer to questions seek...
163
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In this paper, we introduce WPML (WebProfiles Markup Language) for expressing user-context preferences information in the Web. Using WPML a service provider can negotiate and obta...
259
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
This paper presents automatic generation of the Web Ontology Language (OWL) from an UML model. The solution is based on an MDA-defined architecture for ontology development and th...
287
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...