652 search results - page 80 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
191
click to vote
ICPW
2007
15 years 7 months ago
2007
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...
199
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Correct and efficient implementation of general real-time applications remains by far an open problem. A key issue is meeting timing constraints whose satisfaction depends on feat...
177
click to vote
CIKM
2011
Springer
14 years 6 months ago
2011
Springer
We consider the problem of link prediction in signed networks. Such networks arise on the web in a variety of ways when users can implicitly or explicitly tag their relationship w...
182
click to vote
TYPES
2004
Springer
15 years 11 months ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
185
click to vote
AISC
1998
Springer
15 years 10 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...