289 search results - page 38 / 58 » A Direct Construction of a Universal Extended H System |
157
Voted
POPL
2005
ACM
15 years 10 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
173
click to vote
SIGMOD
2008
ACM
15 years 9 months ago
2008
ACM
In the implementation of hosted business services, multiple tenants are often consolidated into the same database to reduce total cost of ownership. Common practice is to map mult...
83
Voted
GI
2009
Springer
14 years 7 months ago
2009
Springer
Abstract: Mobile indoor navigation systems guide users through buildings and premises by taking into account the current position of the user and a destination such as a room, offi...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes our work constructing a generalized framework for modeling multi agent interactions in education-related applications. Historically, interactive learning syst...
MEMOCODE
2003
IEEE
15 years 2 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...