6054 search results - page 824 / 1211 » Implementation of Andorra-based Languages |
165
click to vote
LCTRTS
2004
Springer
16 years 4 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...
206
click to vote
MATA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Intrusion detection systems are quickly becoming a standard requirement in building a network security infrastructure. Although many established techniques and commercial...
170
click to vote
MOZ
2004
Springer
16 years 4 days ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
177
Voted
UML
2004
Springer
16 years 3 days ago
2004
Springer
Any implementation of an information system must ensure that an operation is only applied if its execution does not lead to a violation of any of the integrity constraints defined ...
179
click to vote
VMCAI
2004
Springer
16 years 3 days ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...