4224 search results - page 657 / 845 » Reasoning about Choice |
144
Voted
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
144
Voted
COORDINATION
2000
Springer
15 years 10 months ago
2000
Springer
Distributed information systems for decision-support, logistics, and e-commerce involve coordination of autonomous information resources and clients according to specific domain in...
168
click to vote
ECRTS
1999
IEEE
15 years 10 months ago
1999
IEEE
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
164
click to vote
SIGCSE
1999
ACM
15 years 10 months ago
1999
ACM
The wide-spread use of microprocessor based systems that utilize cache memory to alleviate excessively long DRAM access times introduces a new dimension in the quest to obtain goo...
141
click to vote
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...