206 search results - page 14 / 42 » Formal Specification and Analysis of an E-voting System |
TIME
1999
IEEE
15 years 1 months ago
1999
IEEE
In the recent literature on time representation, an effort has been made to characterize the notion of time granularity and the relationships between granularities, in order to ha...
122
click to vote
POPL
1994
ACM
15 years 1 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...
FASE
2008
Springer
14 years 11 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
AOSE
2005
Springer
15 years 3 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
ISESE
2005
IEEE
15 years 3 months ago
2005
IEEE
Many risk specific concepts like “threat”, “consequence” and “risk” belong to the daily language. In a risk analysis one cannot be certain that the participants’ int...