1087 search results - page 136 / 218 » Eta-Redexes in Partial Evaluation |
150
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
160
click to vote
TAPSOFT
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. Binding-time analyses based on flow analysis have been presented by Bondorf, Consel, Bondorf and Jørgensen, and Schwartzbach and the present author. The analyses are fo...
154
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Recently we had proposed two untraceability protocols for mobile agents and began investigating their quality. We believe that quality evaluation of security protocols should exte...
305
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper we explore database segmentation in the context of a column-store DBMS targeted at a scientific database. We present a novel hardware- and scheme-oblivious segmentati...
207
click to vote
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...