1583 search results - page 81 / 317 » Workflows in Dynamic Development Processes |
107
click to vote
CAISE
1999
Springer
15 years 6 months ago
1999
Springer
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
EACL
2003
ACL Anthology
15 years 3 months ago
2003
ACL Anthology
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
121
click to vote
RIDE
1999
IEEE
15 years 6 months ago
1999
IEEE
The Internet and the proliferation of inexpensive computing power in the form of clusters of workstations or PCs provide the basic hardware infrastructure for business to business...
120
click to vote
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. With support for C/C++, Fortran, MPI, OpenMP, and performance tools, the Eclipse integrated development environment (IDE) is a serious contender as a programming environm...
113
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...