4902 search results - page 315 / 981 » Multi-agent Systems Methodology |
152
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design of ubiquitous and embedded computers focuses on cost factors such as area, power-consumption, and performance. Security and trust properties, on the other hand, are oft...
144
click to vote
DATE
2006
IEEE
16 years 24 days ago
2006
IEEE
As the complexity of nowadays systems continues to grow, we are moving away from creating individual components from scratch, toward methodologies that emphasize composition of re...
188
click to vote
CSMR
2005
IEEE
16 years 11 days ago
2005
IEEE
Data mining is a technology recently used in support of software maintenance in various contexts. Our works focuses on achieving a high level understanding of Java systems without...
174
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
167
click to vote
ICCD
2002
IEEE
15 years 11 months ago
2002
IEEE
Concurrent detection of failures in analog circuits is becoming increasingly more important as safety-critical systems become more widespread. A methodology for the automatic desi...