624 search results - page 54 / 125 » Application of Lightweight Formal Methods to Software Securi... |
134
Voted
WWW
2004
ACM
16 years 4 months ago
2004
ACM
We present an evaluation of four knowledge base systems with respect to use in large Semantic Web applications. We discuss the performance of each system. In particular, we show t...
157
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: Alignment and comparison of related genome sequences is a powerful method to identify regions likely to contain functional elements. Such analyses are data intensive, ...
172
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
115
Voted
CATS
2006
15 years 5 months ago
2006
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
274
Voted
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Web applications typically interact with a back-end database to retrieve persistent data and then present the data to the user as dynamically generated output, such as HTML web pa...