1305 search results - page 38 / 261 » The design context of concurrent computation systems |
128
click to vote
HYBRID
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
165
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
143
click to vote
RTCSA
2005
IEEE
15 years 10 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
143
click to vote
HUC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. As low-level architectural support for context-aware computing matures, we are ready to explore more general and powerful means of accessing context data. Information req...
120
Voted
ASAP
2003
IEEE
15 years 9 months ago
2003
IEEE
Recently, a number of researchers have started to investigate new video-on-demand (VoD) architectures using batching, patching and periodic broadcasting. These architectures, comp...