5634 search results - page 381 / 1127 » About Abstract Classes |
161
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
183
Voted
ICSOC
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
160
click to vote
ICWE
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. It is more convenient to talk about changes in a domainspecific way than to formulate them at the programming construct level or—even worse—purely lexical level. Usi...
146
click to vote
IWANN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present our ideas about the integration of agent technology with other technologies to build specific assistive tools for the people with disabilities and for the new...
151
click to vote
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...