4353 search results - page 278 / 871 » Expressiveness of Process Algebras |
177
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Adaptivity in Process Management Systems (PMS) is key to their successful applicability in pratice. Approaches have already been developed to ensure the system correctness after ar...
172
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
178
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The aim of this paper is to show how the use of social networks may help users to behave as modelers they trust. Users are guided in this respect within the context of an...
168
click to vote
ASPDAC
2004
ACM
16 years 2 days ago
2004
ACM
- Under manufacturing process variation, a path through a fault site is called longest for delay test if there exists a process condition under which the path has the maximum delay...
180
click to vote
LICS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...