12193 search results - page 254 / 2439 » It's not all about |
132
click to vote
IPMU
2010
Springer
15 years 5 months ago
2010
Springer
Are we interested in choice functions or function for choice? Was it my choice or did I choose? In the end it is all about sorts and operators, terms as given by the term monad ove...
166
click to vote
COCOON
1999
Springer
15 years 11 months ago
1999
Springer
Cai and Selman [CS99] defined a modification of Levin’s notion of average polynomial time and proved, for every P-bi-immune language L and every polynomial-time computable dis...
159
click to vote
AIEDAM
2006
15 years 6 months ago
2006
Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines an...
252
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We present HERMES, a prototype system based on a powerful query language for trajectory databases, which enables the support of aggregative Location-Based Services (LBS). The key ...
155
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
We describe an evolutionary path that allows operating systems to be used in a more flexible and appropriate manner by higher-level services. An infokernel exposes key pieces of ...