2496 search results - page 329 / 500 » Error-detecting properties of languages |
175
click to vote
LCTRTS
2004
Springer
16 years 12 days 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...
200
click to vote
FDL
2003
IEEE
16 years 10 days 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...
190
Voted
ISCAS
2003
IEEE
16 years 10 days 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...
201
click to vote
ASM
2003
ASM
16 years 9 days 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...
192
click to vote
DBPL
2003
Springer
16 years 8 days 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...