783 search results - page 71 / 157 » The Bio-PEPA Tool Suite |
RE
1997
Springer
14 years 6 days ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
WSC
2007
13 years 10 months ago
2007
Decision making in industry continues to become more complicated. Customers are more demanding, competition is more fierce, and costs for labor and raw materials continue to rise....
EDBT
2010
ACM
13 years 10 months ago
2010
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. Analyzing the execution of such processes is critical for enforcing business ...
COORDINATION
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
JSS
2007
13 years 8 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...