4880 search results - page 161 / 976 » Mechanism Design by Creditability |
163
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...
182
click to vote
KBSE
1998
IEEE
15 years 10 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...
209
click to vote
WETICE
1996
IEEE
15 years 10 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
159
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...
158
click to vote
GLOBECOM
2007
IEEE
16 years 27 days 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...