BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Current peer-to-peer (p2p) systems place the burden of application-level query execution on the application developer. Not only do application developers lack the experti...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This paper1 discusses the vision, the challenges, possible usage scenarios and technological building blocks of the "Internet of Things". In particular, we cons...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. This paper considers how to adapt geometric algorithms, developed for content-based music retrieval of symbolically encoded music, to be robust against time deformations ...
EICS
2010
ACM
13 years 8 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
COMGEO
2010
ACM
13 years 8 months ago
2010
ACM
CF
2010
ACM
13 years 8 months ago
2010
ACM
Solid-State Drives (SSDs) are data storage devices that use solid-state memory to store persistent data. Flash memory is the de facto nonvolatile technology used in most SSDs. It ...