1052 search results - page 90 / 211 » The Regular Real-Time Languages |
107
click to vote
FATES
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
128
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Hydra is a computer hardware description language that integrates several kinds of software tool (simulation, netlist generation and timing analysis) within a single circuit speci...
120
click to vote
ACTA
2002
15 years 3 months ago
2002
We consider XML documents described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties...
139
Voted
ICECCS
1999
IEEE
15 years 8 months ago
1999
IEEE
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
128
Voted
ICSE
1993
IEEE-ACM
15 years 7 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...