13383 search results - page 317 / 2677 » Abstractions from proofs |
186
Voted
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
192
click to vote
FORTEST
2008
15 years 8 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
199
click to vote
CTW
2002
15 years 6 months ago
2002
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
204
click to vote
HCI
2009
15 years 4 months ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
176
click to vote
PKC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. In this paper, we provide the first committed signature provably secure in the standard complexity model based on the strong RSA assumption. The idea behind the construc...