12774 search results - page 303 / 2555 » A Framework for Proof Systems |
161
click to vote
ENTCS
2006
15 years 6 months ago
2006
Consistency checking in the CSP B approach verifies that an individual controller process, defined using a sequential non-divergent subset of CSP, never calls a B operation outsid...
155
click to vote
IACR
2011
14 years 6 months ago
2011
We put forward the notion of targeted malleability: given a homomorphic encryption scheme, in various scenarios we would like to restrict the homomorphic computations one can perf...
127
click to vote
CII
2008
15 years 6 months ago
2008
Data formats and e-business frameworks are important standards for e-business. The ASC X12, EDIFACT and XML formats are utilized in e-business frameworks which are supported in in...
194
Voted
ICALT
2003
IEEE
16 years 18 hour ago
2003
IEEE
In this paper an instructional framework is proposed for supporting personalised learning in the context of webbased adaptive educational hypermedia systems. A learning-focused ap...
150
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces a framework for in-field-maintenance services for wireless sensor networks. The motivation of this work is driven by an observation that many applications usi...