3028 search results - page 219 / 606 » Integrating Temporal Logics |
212
click to vote
ICSOC
2007
Springer
16 years 1 months ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...
194
click to vote
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The system presented in this paper aims at using Contextual Logic Programming as a computational hub for knowledge modeled by web ontologies and enable querying that repr...
160
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
ESIM is a simulation tool that integrates logic fault and design error simulation for logic circuits. It targets several design error and fault models, and uses a novel mix of sim...
156
click to vote
DAC
1998
ACM
15 years 11 months ago
1998
ACM
We describe a new constructive multilevel logic synthesis system that integrates the traditionally separate technology-independent and technology-dependent stages of modern synthe...
195
click to vote
ICWE
2010
Springer
15 years 9 months ago
2010
Springer
Model-based approaches for interactive Web applications have neglected vocal interaction. However, ubiquitous multi-device environments call for better support for such modality. I...