256 search results - page 8 / 52 » Noetherian Spaces in Verification |
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
The paper presents a novel approach based on Bogor for the accurate verification of applications based on PublishSubscribe infrastructures. Previous efforts adopted standard model...
CSL
2004
Springer
14 years 5 days ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We present a method for training a similarity metric from data. The method can be used for recognition or verification applications where the number of categories is very large an...
COMCOM
1998
13 years 8 months ago
1998
In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...