852 search results - page 124 / 171 » Using graph parsing for automatic graph drawing |
PRDC
2006
IEEE
14 years 2 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
P2P
2002
IEEE
14 years 1 months ago
2002
IEEE
Semantic Web Services are a promising combination of Semantic Web and Web service technology, aiming at providing means of automatically executing, discovering and composing seman...
TACAS
2001
Springer
14 years 28 days ago
2001
Springer
Abstract. A message sequence chart (MSC) is a standard notation for describing the interaction between communicating objects. It is popular among the designers of communication pro...
ICCD
2000
IEEE
14 years 27 days ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
ICPP
1999
IEEE
14 years 24 days ago
1999
IEEE
Most of today's multiprocessors have a DistributedShared Memory (DSM) organization, which enables scalability while retaining the convenience of the shared-memory programming...