1547 search results - page 170 / 310 » The Isabelle Collections Framework |
107
Voted
CPHYSICS
2008
15 years 27 days ago
2008
Peridynamics (PD) is a continuum theory that employs a nonlocal model to describe material properties. In this context, nonlocal means that continuum points separated by a finite ...
85
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
126
click to vote
DKE
2006
15 years 25 days ago
2006
Hidden Web databases maintain a collection of specialised documents, which are dynamically generated in response to users' queries. The majority of these documents are genera...
105
Voted
IJHPCN
2008
15 years 25 days ago
2008
: Publish/Subscribe infrastructures have gained significant traction recently with several specifications such as the Java Message Service (JMS), WS-Eventing and WS-Notification. I...
102
Voted
ENTCS
2007
15 years 23 days ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...