2501 search results - page 346 / 501 » Logics with Rank Operators |
214
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
120
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper looks at designing circuit elements that will be constructed with nanoscale magnets within the Quantum-dot Cellular Automata (QCA) computational paradigm. In magneti...
163
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...
129
Voted
LATA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
188
click to vote
SAINT
2009
IEEE
2009
IEEE
CCDM: Central Controller-Based Device Management Architecture and Method to Split Management Scripts
15 years 11 months ago
This paper presents CCDM, a new architecture for management of devices, which collect environmental information and give effects to the environment. CCDM provides easy management ...