4460 search results - page 355 / 892 » Resources in process algebra |
182
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Automatic cost analysis has interesting applications in the context of verification and certification of mobile code. For instance, the code receiver can use cost information in o...
170
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
159
Voted
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Workflow management systems (WfMSs) are software platforms that allow the definition, execution, monitoring, and management of business processes. WfMSs log every event that occur...
183
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
206
click to vote
ACE
2004
15 years 8 months ago
2004
The Capability Maturity Model and SPICE approach to software process improvement has resulted in a robust system for improving development process capability in the field of softw...