258 search results - page 23 / 52 » Relational Correspondences for Lattices with Operators |
DELTA
2002
IEEE
14 years 15 days ago
2002
IEEE
General goals of a BSc and MSc in Electrical Engineering are formulated, leading to a ‘mission’ statement clarifying the rationale behind the programmes in relation to the nee...
USENIX
2000
13 years 9 months ago
2000
The ubiquity of Windows-based desktop environments has not been matched by a corresponding emergence of tools supporting the Unix tool composition paradigm. Outwit is a suite of t...
LICS
2002
IEEE
14 years 14 days ago
2002
IEEE
We study the comparison of dynamic semantics (games, dealing with interactions) with static semantics (dealing with results of interactions), in the spirit of Timeless Games [2]. ...
DOLAP
2000
ACM
13 years 12 months ago
2000
ACM
Being able to efficiently answer arbitrary OLAP queries that aggregate along any combination of dimensions over numerical and categorical attributes has been a continued, major co...
DAIS
2006
13 years 9 months ago
2006
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...