140 search results - page 7 / 28 » Exploiting prescriptive aspects: a design time capability |
AAAI
2008
13 years 9 months ago
2008
Hierarchies are one of the most common organizational structures observed in multi-agent systems. In this paper we study vertical specialization as a reason for hierarchical struc...
FDL
2007
IEEE
13 years 11 months ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
EVOW
2000
Springer
13 years 11 months ago
2000
Springer
Modern VLSI design methodologies and manufacturing technologies are making circuits increasingly fast. The quest for higher circuit performance and integration density stems from f...
PERVASIVE
2005
Springer
14 years 1 months ago
2005
Springer
Recommender systems provide decision aid and information filtering functions that have a great potential application in the mobile context. An aspect which has not been extensive...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Many distribution algorithms have been proposed up to now for P2P real time streaming. However, due to the lack of basic theoretical results and bounds, common sense and intuiti...