3069 search results - page 271 / 614 » Issues with the construct of quality |
141
click to vote
SEW
2006
IEEE
16 years 20 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
182
click to vote
QSIC
2005
IEEE
16 years 7 days ago
2005
IEEE
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
164
click to vote
CASSIS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
205
click to vote
PPSWR
2005
Springer
16 years 4 days ago
2005
Springer
Metadata processing is recognized as a central challenge for database research in the next decade. Already, novel desktop data management and search applications (cf. Apple’s Spo...
199
click to vote
SEMWEB
2004
Springer
16 years 6 hour ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...