Sciweavers

1021 search results - page 113 / 205
» Concepts in Proof Planning
Sort
View
DSRT
2005
IEEE
14 years 2 months ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang
ISCAS
2005
IEEE
273views Hardware» more  ISCAS 2005»
14 years 2 months ago
A distributed slack bus model and its impact on distribution system application techniques
—Distribution system operating environments are changing rapidly. For example, with the steady and significant increase in dispersed generation expected, planning and operating a...
Shiqiong Tong, Michael Kleinberg, Karen Miu
MIDDLEWARE
2005
Springer
14 years 2 months ago
A context-aware middleware for multimodal dialogue applications with context tracing
This paper presents a context-aware middleware for multimodal dialogue applications. The middleware has the context tracing feature, which is the possibility of the middleware to ...
Manh-Thang Tran, Béat Hirsbrunner, Mich&egr...
TSD
2005
Springer
14 years 2 months ago
The VoiceTRAN Speech-to-Speech Communicator
The paper presents the design concept of the VoiceTRAN Communicator that integrates speech recognition, machine translation and text-to-speech synthesis using the DARPA Galaxy arch...
Jerneja Zganec-Gros, France Mihelic, Tomaz Erjavec...
CAISE
2004
Springer
14 years 2 months ago
Impact Analysis for Supporting the Co-Evolution of Business Processes and Supporting Software Systems
The co-evolution of business processes and supporting software systems is needed for keeping them aligned and it requires managerial and technological effort for adequately plannin...
Thierry Bodhuin, Raffaele Esposito, Cristina Pacel...