7835 search results - page 264 / 1567 » Software are Processes Too |
194
click to vote
ICESS
2004
Springer
16 years 17 hour ago
2004
Springer
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
198
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Complexity has undesirable effects on, among others, the correctness, maintainability, and understandability of business process models. Yet, measuring complexity of business proce...
173
click to vote
HCI
2007
15 years 8 months ago
2007
Agile Software Engineering approaches gain more and more popularity in today’s development organizations. The need for usable products is also a growing factor for organizations....
173
click to vote
ICIS
2003
15 years 8 months ago
2003
The outsourced software development process has traditionally relied on a requirements-driven black-box approach for transferring knowledge of customer needs to vendors. When this...
156
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...