486 search results - page 45 / 98 » Sound Methods and Effective Tools for Engineering Modeling a... |
142
click to vote
AC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
121
click to vote
WOSP
2010
ACM
15 years 10 months ago
2010
ACM
In this paper we provide a general method to derive productform solutions for stochastic models. We take inspiration from the Reversed Compound Agent Theorem [14] and we provide a...
171
click to vote
FASE
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
136
Voted
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
145
click to vote
ICSM
2007
IEEE
15 years 9 months ago
2007
IEEE
Uncovering, modelling, and understanding architectural level dependencies of software systems is a key task for software maintainers. However, current dependency analysis techniqu...