5838 search results - page 706 / 1168 » A File System for System Programming in Ubiquitous Computing |
197
click to vote
STACS
1991
Springer
15 years 10 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
172
click to vote
LICS
2006
IEEE
16 years 27 days ago
2006
IEEE
We show that typability for a natural form of polymorphic recursive typing for rank-2 intersection types is undecidable. Our proof involves characterizing typability as a context ...
182
click to vote
LICS
2005
IEEE
16 years 14 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...
142
click to vote
ICN
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
181
click to vote
EUC
2005
Springer
16 years 10 days ago
2005
Springer
A new system for real-time customer relationship management is proposed. The system is based on deploying a network of RFID readers throughout an environment. Information about the...