3073 search results - page 91 / 615 » Real World Verification |
165
Voted
GLVLSI
2009
IEEE
15 years 17 days ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
128
Voted
FLAIRS
2006
15 years 4 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
115
Voted
IEE
2008
15 years 2 months ago
2008
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
115
Voted
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
The Domain Name System (DNS) is the world’s largest distributed computing system that performs the key function of translating user-friendly domain names to IP addresses through...