2232 search results - page 155 / 447 » Formal Modeling and Analysis of Organizations |
151
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
141
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
169
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we report some progress in applying timed automata technology to large-scale problems. We focus on the problem of finding maximal stabilization time for combinationa...
172
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
204
click to vote
JUCS
2010
15 years 1 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...