12597 search results - page 341 / 2520 » Complexity of Mechanism Design |
171
Voted
SYSTOR
2010
ACM
15 years 11 months ago
2010
ACM
Virtual machine monitors, especially when used for server consolidation, need to enforce a predefined sharing of resources among the running virtual machines. We propose a new me...
167
click to vote
TELSYS
2002
15 years 6 months ago
2002
Formal description techniques, verification methods, and their tool-based automated application meanwhile provide valuable support for the formal analysis of communication protocol...
190
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Cognitive models of software comprehension are potential sources of theoretical knowledge for tool designers. Although their use in analysis of existing tools is fairly wellestabl...
163
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
This paper explores and discusses the application of Software Agent in pattern layout design. First we introduce Pattern Decomposition Representation Model (PDM). By combining Agen...
170
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
– This paper describes a wireless sensor network for mine safety monitoring. Based on the characteristics of underground mine gallery and the requirements for mine safety monitor...