1525 search results - page 210 / 305 » Formal Models for Communication-Based Design |
99
Voted
COCOON
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we study the spectrum assignment problem for wireless access networks. Opportunistic spectrum usage is a promising technology. However, it could suffer from the self...
94
Voted
MKWI
2008
15 years 2 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
118
Voted
CORR
2006
Springer
15 years 23 days ago
2006
Springer
The design of complex Systems-on-Chips implies to take into account communication and memory access constraints for the integration of dedicated hardware accelerator. In this paper...
60
Voted
TCIAIG
2011
14 years 7 months ago
2011
—Launchpad is an autonomous level generator that is based on a formal model of 2-D platformer level design. Levels are built out of small segments called “rhythm groups,” whi...
125
click to vote
IUI
2003
ACM
15 years 6 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...