1823 search results - page 132 / 365 » Formal specification: a roadmap |
208
click to vote
JUCS
2010
15 years 1 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
164
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
The large scale adoption of adaptive services in pervasive and mobile computing is likely to be conditioned to the availability of reliable privacy-preserving technologies. Unfort...
162
click to vote
JSW
2008
15 years 6 months ago
2008
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
199
click to vote
AIM
2002
15 years 6 months ago
2002
We examine the design space of auction mechanisms and identify three core activities that structure this space. Formal parameters qualifying the performance core activities enable...
149
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...