27827 search results - page 168 / 5566 » Generating |
ECRTS
2005
IEEE
15 years 5 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
123
click to vote
SEW
2005
IEEE
15 years 5 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
VTS
2005
IEEE
15 years 5 months ago
2005
IEEE
TARO test patterns are transition fault test patterns that sensitize each transition fault to all of the outputs that can be reached from the fault location. We were not able to i...
110
click to vote
WIRI
2005
IEEE
15 years 5 months ago
2005
IEEE
The inter-operability of multiple autonomous and heterogeneous data sources is an important issue in many applications such as mediation systems, datawarehouses, or web-based syst...