5255 search results - page 155 / 1051 » Formal Methods for Privacy |
122
click to vote
IJIT
2004
15 years 5 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...
111
Voted
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...
105
click to vote
EKAW
2006
Springer
15 years 7 months ago
2006
Springer
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
195
Voted
ISMIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively fe...
113
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We present a method for representing and reasoning with uncertainty in RDF(S) and OWL ontologies based on Bayesian networks. Categories and Subject Descriptors: I.2.4 Artificial I...