8099 search results - page 324 / 1620 » Higher-Order Task Models |
159
click to vote
DIAGRAMS
2000
Springer
15 years 11 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
195
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
183
click to vote
CIA
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a specific contracting algorithm that contributes to the process of distributed planning and resource allocation in competitive, semi-trusted environments. The ...
199
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
In professional environments which are characterized by a domain (Medicine, Law, etc.), information retrieval systems must be able to process precise queries, mostly because of the...
201
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...