Sciweavers

1829 search results - page 82 / 366
» Towards Validation of Requirements Models
Sort
View
MKWI
2008
151views Business» more  MKWI 2008»
15 years 1 months ago
Towards A Formal Framework for Business Process Compliance
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
Kioumars Namiri, Nenad Stojanovic
MACH
1990
15 years 1 months ago
Real-Time Mach: Towards a Predictable Real-Time System
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...
Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao
WIRTSCHAFTSINFORMATI
2007
15 years 1 months ago
Towards a Model-driven Development of Monitored Processes
An integrated management of business processes demands a strictly process-oriented development of the supporting IT. Process-orientation is especially promoted by Service-Oriented...
Christof Momm, Robert Malec, Sebastian Abeck
FAC
2006
122views more  FAC 2006»
14 years 12 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
MLMI
2004
Springer
15 years 5 months ago
Towards Predicting Optimal Fusion Candidates: A Case Study on Biometric Authentication Tasks
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extend in various real-life applications. ...
Norman Poh, Samy Bengio