1356 search results - page 238 / 272 » A variable-free dynamic semantics |
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
FMCAD
2009
Springer
15 years 3 months ago
2009
Springer
This paper discusses a methodology used on an industrial hardware development project to validate various cache-coherence protocol components. The idea is to use a high level model...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
Due to the information growth, distributed environments are offered as a feasible and scalable solution where Peerto-Peer networks have become more relevant. They bring many advan...
115
click to vote
CODES
2001
IEEE
15 years 3 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...