2881 search results - page 451 / 577 » Model Checking for Programming Languages using Verisoft |
161
click to vote
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
159
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...
148
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
126
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Empirical hardness models are a recent approach for studying NP-hard problems. They predict the runtime of an instance using efficiently computable features. Previous res...
153
click to vote
ODRL
2004
15 years 6 months ago
2004
Two main Rights Expression Languages (RELs) exist to describe licenses governing the access to digital content: ODRL (Open Digital Rights Language) and MPEG-21 REL. Both RELs are ...