2881 search results - page 177 / 577 » Model Checking for Programming Languages using Verisoft |
154
click to vote
ICTAI
2008
IEEE
16 years 21 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
156
click to vote
PADL
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
151
click to vote
SEMWEB
2009
Springer
16 years 25 days ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
167
click to vote
IJPRAI
2010
15 years 3 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
152
click to vote
HYBRID
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Hybrid cc is a constraint programming language suitable for modeling, controlling and simulating hybrid systems, i.e. systems with continuous and discrete state changes. ...