1460 search results - page 73 / 292 » Very Lightweight Requirements Modeling |
128
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
171
click to vote
SDL
2007
15 years 5 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
151
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
134
click to vote
IEEECIT
2005
IEEE
15 years 9 months ago
2005
IEEE
: Quality of Service (QoS) is a key factor in Web service advertising, choosing and runtime monitoring. Web service QoS is multi-faceted, fuzzy and dynamic. Current researches focu...
138
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Choosing the appropriate sample size is an important step in the design of a microarray experiment, and recently methods have been proposed that estimate sample sizes ...