Sciweavers

1136 search results - page 97 / 228
» A Prototype of an Active Form System
Sort
View
CICLING
2004
Springer
14 years 1 months ago
A Plug and Play Spoken Dialogue Interface for Smart Environments
In this paper we present a plug and play dialogue system for smart environments. The environment description and its state are stored on a domain ontology. This ontology is formed ...
Germán Montoro, Xavier Alamán, Pablo...
LISP
2002
107views more  LISP 2002»
13 years 8 months ago
Dependent Types for Program Termination Verification
Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...
Hongwei Xi
IPPS
2007
IEEE
14 years 2 months ago
Model-Driven Performance Analysis Methodology for Distributed Software Systems
Abstract— A key enabler of the recently popularized, assemblycentric development approach for distributed real-time software systems is QoS-enabled middleware, which provides reu...
Swapna S. Gokhale, Paul J. Vandal, Aniruddha S. Go...
VLDB
2001
ACM
126views Database» more  VLDB 2001»
14 years 8 months ago
XML-enabled workflow management for e-services across heterogeneous platforms
Advanced e-services require efficient, flexible, and easy-to-use workflow technology that integrates well with mainstream Internet technologies like XML and Web servers. This pape...
German Shegalov, Michael Gillmann, Gerhard Weikum
CERA
2002
109views more  CERA 2002»
13 years 8 months ago
Devolved Manufacturing
Current research by the developers of rapid prototyping systems is generally focused on improvements in cost, speed and materials to create truly economic and practical economic r...
Richard J. Bateman, Kai Cheng