882 search results - page 36 / 177 » Allowing State Changes in Specifications |
149
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
132
click to vote
EPEW
2006
Springer
15 years 9 months ago
2006
Springer
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
162
click to vote
OTM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. Ontologies have become very popular in life sciences and other domains. They mostly undergo continuous changes and new ontology versions are frequently released. However,...
168
click to vote
ICWSM
2008
15 years 7 months ago
2008
The research described here is part of a larger project with the objective of determining if a writer believes a proposition to be true or false. This task requires a deep underst...
165
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...