21490 search results - page 505 / 4298 » Business Process Modeling |
144
click to vote
OR
2010
Springer
15 years 3 months ago
2010
Springer
Cropping systems models have evolved over the last four decades in response to the demand for modeling to address more complex questions, including issues on sustainable productio...
145
click to vote
ISPW
2006
IEEE
15 years 10 months ago
2006
IEEE
The spiral lifecycle is being extended to address new challenges for Software-Intensive Systems of Systems (SISOS), such as coping with rapid change while simultaneously assuring h...
125
click to vote
CCE
2006
15 years 4 months ago
2006
In the past few years, Rapid Thermal Processes (RTP) have gained acceptance as mainstream technology for semi-conductors manufacturing. These processes are characterized by a sing...
161
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
113
click to vote
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...