4099 search results - page 598 / 820 » A Framework for Interactive Proof |
165
click to vote
ATAL
1999
Springer
15 years 10 months ago
1999
Springer
Multi-agent system research is concerned with the issues surrounding the performance of collections of interacting agents. A major concern, therefore, is with the design of the dec...
186
click to vote
DSOM
1999
Springer
15 years 10 months ago
1999
Springer
Recent research has demonstrated the benefits of active networks: customized network services can easily be built and modified, packet streams can be processed inside the network...
158
click to vote
EDOC
1997
IEEE
15 years 10 months ago
1997
IEEE
Enterprise roles define the duties and responsibilities of the individuals which are assigned to them. This paper introduces a framework for the management of large distributed sy...
171
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
We give a denotational framework (a "meta model") within which certain properties of models of computation can be understood and compared. It describes concurrent proces...
184
click to vote
CVRMED
1997
Springer
15 years 10 months ago
1997
Springer
E cient and powerful topologically adaptable deformable surfaces can be created by embedding and de ning discrete deformable surface models in terms of an A ne Cell Decomposition (...