2496 search results - page 329 / 500 » Error-detecting properties of languages |
119
click to vote
LCTRTS
2004
Springer
15 years 10 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
150
click to vote
FDL
2003
IEEE
15 years 10 months ago
2003
IEEE
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems an...
129
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
143
click to vote
ASM
2003
ASM
15 years 10 months ago
2003
ASM
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
137
click to vote
DBPL
2003
Springer
15 years 10 months ago
2003
Springer
We introduce the new notion of XML Stream Attribute Grammars (XSAGs). XSAGs are the first scalable query language for XML streams (running strictly in linear time with bounded mem...