Sciweavers

979 search results - page 76 / 196
» Generating a Prototype from a UML Model of System Requiremen...
Sort
View
GCC
2007
Springer
14 years 25 days ago
A Temporal Logic Based Grid Workflow Model and Scheduling Scheme
Recently, grid computing has become a popular technology for large-scale scientific or business computing. Grid workflow system can enhance the flexibility and efficiency of the g...
Yu-E Zheng, Huadong Ma, Lejun Zhang
PDPTA
1996
13 years 10 months ago
Document Retrieval Performance on Parallel Systems
The problem of eciently retrieving and ranking documents from a huge collection according to their relevance to a research topic is addressed. A broad class of queries is de ned a...
David Hawking
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
14 years 2 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
DAGSTUHL
2006
13 years 10 months ago
Model Transformation Technologies in the Context of Modelling Software Systems
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
Oscar Pastor
ACL
2000
13 years 10 months ago
Headline Generation Based on Statistical Translation
Extractive summarization techniques cannot generate document summaries shorter than a single sentence, something that is often required. An ideal summarization system would unders...
Michele Banko, Vibhu O. Mittal, Michael J. Witbroc...