Sciweavers

2036 search results - page 120 / 408
» A generic type-and-effect system
Sort
View
108
Voted
TACS
1997
Springer
15 years 4 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
CSFW
2010
IEEE
15 years 4 months ago
Formal Verification of Privacy for RFID Systems
RFID tags are being widely employed in a variety of applications, ranging from barcode replacement to electronic passports. Their extensive use, however, in combination with their ...
Mayla Brusò, Konstantinos Chatzikokolakis, ...
98
Voted
FUIN
2007
85views more  FUIN 2007»
15 years 21 days ago
Entropies and Co-Entropies of Coverings with Application to Incomplete Information Systems
Different generalizations to the case of coverings of the standard approach to entropy applied to partitions of a finite universe X are explored. In the first approach any cover...
Daniela Bianucci, Gianpiero Cattaneo, Davide Ciucc...
CSCW
2000
ACM
15 years 17 days ago
A Knowledge-based Approach to Handling Exceptions in Workflow Systems
This paper describes a novel knowledge-based approach for helping workflow process designers and participants better manage the exceptions (deviations from an ideal collaborative ...
Mark Klein, Chrysanthos Dellarocas
122
Voted
COMPSAC
1998
IEEE
15 years 5 months ago
Architecture of ROAFTS/Solaris: A Solaris-Based Middleware for Real-Time Object-Oriented Adaptive Fault Tolerance Support
Middleware implementation of various critical services required by large-scale and complex real-time applications on top of COTS operating system is currently an approach of growi...
Eltefaat Shokri, Patrick Crane, K. H. Kim, Chittur...