7892 search results - page 133 / 1579 » Programming with Models |
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
103
click to vote
CSC
2007
15 years 2 months ago
2007
A visualization framework can be seen as a solution to a specialized data flow problem. Spiegel1 is a visualization framework which uses the Unix pipeline model to execute program...
IASTEDSEA
2004
15 years 2 months ago
2004
Software engineering is hampered by the fact that software systems quickly become so complex that they are hard to understand, evolve and maintain. Closer integration of code and ...
117
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
130
click to vote
SPIN
2009
Springer
15 years 8 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...