1280 search results - page 181 / 256 » Soft Typing with Conditional Types |
ISPA
2004
Springer
14 years 2 months ago
2004
Springer
Context-aware computing is a computing paradigm in which applications can take advantage of contextual information. Quality of network connection is a very important factor for mob...
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Biochemical pathways or networks are generic representations used to model many different types of complex functional and physical interactions in biological systems. Models based ...
PEPM
2004
ACM
14 years 2 months ago
2004
ACM
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
PERVASIVE
2004
Springer
14 years 2 months ago
2004
Springer
Ensuring authenticity and integrity are important tasks when dealing with goods. While in the past seal wax was used to ensure the integrity, electronic devices are now able to tak...
SACRYPT
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper investigates the security of Proactive Secret Sharing Schemes. We start with revision of the mobile adversary model of Herzberg’s et al. imposing less restri...