6762 search results - page 684 / 1353 » Multiple drafts model |
198
click to vote
IWANN
2009
Springer
16 years 2 days ago
2009
Springer
This paper describes an approach to user configuration of activity awareness. This approach offers users increased flexibility by allowing the use of multiple methods of configurat...
169
click to vote
FASE
2001
Springer
15 years 12 months ago
2001
Springer
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
206
click to vote
CODES
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
171
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Gandalf is a first-order resolution theorem-prover, optimized for speed and specializing in manipulations of large clauses. In this paper I describe GANDALF TAC, a HOL tactic that ...
170
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
The paper describes an immunogenetic approach to recognize spectra for chemical analysis. In particular, an immunological model for chemical reactions is introduced in which a pop...