29172 search results - page 333 / 5835 » Modeling Systems in CLP |
194
click to vote
NETWORKING
2008
15 years 8 months ago
2008
Content delivery providers can improve their service scalability and offload their servers by making use of content transfers among their clients. To provide peers with incentive t...
223
click to vote
TII
2008
15 years 6 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
202
click to vote
COMCOM
2004
15 years 6 months ago
2004
In this paper, we study the connection between Radio Resource Management and economic parameters, whose application in multimedia communication system is a challenging task. In fa...
159
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
: Development of capital intensive systems, such as offshore oil platforms or other industrial infrastructure, generally requires a significant amount of capital investment under v...
178
click to vote
ECBS
2008
IEEE
16 years 1 months ago
2008
IEEE
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...