12774 search results - page 237 / 2555 » A Framework for Proof Systems |
165
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
As the science of multi-agent systems matures, many developers are looking to deploy mission critical applications on distributed multi-agent systems (DMAS). Due to their distribu...
203
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Document Management is an important component of a workflow management system. XML has become a prominent language for document processing and management, and has an additional adv...
199
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...
178
click to vote
CLUSTER
2006
IEEE
2006
IEEE
A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems
15 years 6 months ago
When users' tasks in a distributed heterogeneous computing environment (e.g., cluster of heterogeneous computers) are allocated resources, the total demand placed on some sys...
182
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...