Sciweavers

4516 search results - page 194 / 904
» Automated System Design for Availability
Sort
View
ACSD
2008
IEEE
106views Hardware» more  ACSD 2008»
15 years 6 months ago
Time-bounded model checking of infinite-state continuous-time Markov chains
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, B...
TOOLS
1999
IEEE
15 years 8 months ago
Building a Repository for Workflow Systems
workflow technology is becoming the key technologyfor businessprocess modeling, reengineering and automating. During the workflowspecification, enactment and administmtion, there ...
Chengfei Liu, Xuemin Lin, Xiaofang Zhou, Maria E. ...
HCI
2001
15 years 5 months ago
Age differences and the depth - breadth tradeoff in hierarchical online information systems
This paper examines previous research on the topic of depth versus breath in hierarchical menu structures, and explains why searching for information on the world wide web follows...
Panayiotis Zaphiris
ICS
2009
Tsinghua U.
15 years 11 months ago
Towards 100 gbit/s ethernet: multicore-based parallel communication protocol design
Ethernet line rates are projected to reach 100 Gbits/s by as soon as 2010. While in principle suitable for high performance clustered and parallel applications, Ethernet requires ...
Stavros Passas, Kostas Magoutis, Angelos Bilas
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
15 years 11 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita