2782 search results - page 49 / 557 » Issues in holistic system design |
170
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
109
click to vote
CSCWD
2009
Springer
15 years 6 months ago
2009
Springer
Mobile cooperative systems can facilitate cooperation by improving the flexibility of usage. However, mobile devices present some constraints that become the design and implement...
CANDT
2009
15 years 5 months ago
2009
In this paper, I describe how various understandings of community activated the design of Dialup Radio, a mobile phonebased independent media distribution system for Zimbabwean ci...
131
click to vote
ECBS
2008
IEEE
15 years 1 months ago
2008
IEEE
A discrete control system, with stringent hardware constraints, is effectively an embedded real-time system and hence requires a rigorous methodology to develop the software invol...
88
Voted
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...