4047 search results - page 77 / 810 » Algebraic Model Checking |
89
Voted
ISVC
2009
Springer
15 years 7 months ago
2009
Springer
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
91
Voted
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
107
Voted
AIIA
2007
Springer
15 years 6 months ago
2007
Springer
In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical language, groun...
94
Voted
ENTCS
2007
15 years 20 days ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
102
Voted
ENTCS
2002
15 years 15 days ago
2002
or Abstraction in Model Checking Mar