1382 search results - page 79 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
108
click to vote
FORTE
2008
15 years 2 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
117
click to vote
DSN
2007
IEEE
15 years 7 months ago
2007
IEEE
When employing a consensus algorithm for state machine replication, should one optimize for the case that all communication links are usually timely, or for fewer timely links? Do...
125
click to vote
ECRTS
2002
IEEE
15 years 6 months ago
2002
IEEE
In today’s technical world (e.g., in the automotive industry), more and more purely mechanical components get replaced by electro-mechanical ones. Thus the size and complexity o...
140
click to vote
TASE
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
110
click to vote
CASCON
1996
15 years 2 months ago
1996
The performance of host communication subsystems is an important research topic in computer networks.1 Performance metrics such as throughput, delay, and packet loss are important...