21379 search results - page 305 / 4276 » The profession of IT - Evolutionary system development |
193
click to vote
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Many state-of-the-art approaches on fault-tolerant system design make the simplifying assumption that all faults are detected within a certain time interval. However, based on a d...
212
click to vote
AAAI
2012
13 years 9 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
128
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
In recent literature, many authors argue that “Web development” is new and different. The arguments are, however, both debatable and debated, and often it is neither clear wha...
214
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
200
click to vote
BPM
2007
Springer
16 years 28 days ago
2007
Springer
The assignment of tasks to human performers is a critical component in people-centric business process management systems. Workflow management systems typically assign work items u...