3514 search results - page 410 / 703 » Software Process Modeling: Principles of Entity Process Mode... |
132
Voted
JEC
2006
15 years 3 months ago
2006
The paper addresses a novel method for realtime analysis of systems with cyclic data flows. The presented method is based on Network Calculus principles, where upper and lower flo...
127
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
118
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
115
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
Enterprise resource planning (ERP) maintenance and upgrade activities are receiving much attention in ERP-using organizations. Annual maintenance costs approximate 25% of initial ...
159
click to vote
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...