306 search results - page 19 / 62 » From Scenarios to Timed Automata: Building Specifications fr... |
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
Designing and constructing Real-Time Distributed Industrial Vision Systems (RT-DIVS) from scratch is very complicated task. RT-DIVS has Conflicting requirements such as reasonable...
ECOWS
2006
Springer
13 years 11 months ago
2006
Springer
Traditional process support systems offer the promise of software assembled from service elements. The typical approach is a static composition of atomic processes to more powerfu...
EGOV
2007
Springer
14 years 1 months ago
2007
Springer
Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...
ERCIMDL
2001
Springer
14 years 5 days ago
2001
Springer
The cultural heritage domain dealing with digital surrogates of rare and fragile historic artifacts is one of the most promising areas for establishing collaboratories, i.e. shared...
AMR
2006
Springer
13 years 9 months ago
2006
Springer
Inaccurate or ambiguous expressions in queries lead to poor results in information retrieval. We assume that iterative user feedback can improve the quality of queries. To this end...