109 search results - page 17 / 22 » How to Make ad-hoc Polymorphism Less ad-hoc |
82
Voted
IFM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
SCAM
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
CLOUD
2010
ACM
15 years 2 months ago
2010
ACM
Timely and cost-effective processing of large datasets has become a critical ingredient for the success of many academic, government, and industrial organizations. The combination...
ICCS
2001
Springer
15 years 1 months ago
2001
Springer
Abstract. Many different access control policies and models have been developed to suit a variety of goals; these include Role-Based Access Control, One-directional Information Flo...
HASE
1999
IEEE
15 years 1 months ago
1999
IEEE
Building dependable distributed systems using ad hoc methods is a challenging task. Without proper support, an application programmer must face the daunting requirement of having ...