6201 search results - page 856 / 1241 » Implementation of Axiomatic Language |
173
click to vote
MOZ
2004
Springer
16 years 7 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...
180
click to vote
UML
2004
Springer
16 years 6 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 ...
183
Voted
VMCAI
2004
Springer
16 years 6 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...
163
Voted
ECBS
2010
IEEE
16 years 5 days ago
2010
IEEE
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speci...
171
Voted
ANSS
2003
IEEE
16 years 5 days ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...