928 search results - page 90 / 186 » Interpolation-sequence based model checking |
140
Voted
ICAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—A growing number of applications start using Semantic Web technologies. The base concept in this technology is the use of ontologies, allowing first-order logic reasoni...
110
click to vote
ACSD
2005
IEEE
15 years 4 months ago
2005
IEEE
An asynchronous wrapper of a fabricated GALS system is analyzed for hazards. For this purpose a Petri net based modelling approach of this GALS wrapper is presented. In our model ...
143
Voted
JUCS
2010
14 years 9 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
124
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
107
Voted
FTDCS
1997
IEEE
15 years 6 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...