Sciweavers

4719 search results - page 399 / 944
» Applications = Components GLoo
Sort
View
CL
2008
Springer
15 years 7 months ago
Automatic synthesis and verification of real-time embedded software for mobile and ubiquitous systems
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
Pao-Ann Hsiung, Shang-Wei Lin
CONCURRENCY
2002
122views more  CONCURRENCY 2002»
15 years 6 months ago
The Grid Portal Development Kit
Computational science portals are emerging as useful and necessary interfaces for performing operations on the Grid. The Grid Portal Development Kit (GPDK) facilitates the develop...
Jason Novotny
178
Voted
ENDM
2000
174views more  ENDM 2000»
15 years 6 months ago
Hybrid Constraints in Automated Model Synthesis and Model Processing
Both parametric design tasks and analysis tasks of technical systems have a similar problem setting: The structure of the system to be configured or analyzed is defined already. W...
Klaus-Ulrich Leweling, Benno Stein
CORR
2002
Springer
188views Education» more  CORR 2002»
15 years 6 months ago
GridBank: A Grid Accounting Services Architecture (GASA) for Distributed Systems Sharing and Integration
Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of re...
Alexander Barmouta, Rajkumar Buyya
CSL
2002
Springer
15 years 6 months ago
Stochastic natural language generation for spoken dialog systems
We describe a corpus-based approach to natural language generation (NLG). The approach has been implemented as a component of a spoken dialog system and a series of evaluations we...
Alice Oh, Alexander I. Rudnicky