442 search results - page 39 / 89 » Model Checking of Systems Employing Commutative Functions |
153
click to vote
FORMATS
2009
Springer
16 years 17 days ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
176
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
194
click to vote
ICFP
2012
ACM
13 years 8 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
138
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we discuss how the concept of ontology can be beneficial for the authoring support of Web-based educational systems (WBES). We take a semantic perspective on the know...
123
click to vote
HASE
2007
IEEE
16 years 10 days ago
2007
IEEE
—Modeling to predict faultproneness of software modules is an important area of research in software engineering. Most such models employ a large number ...