8874 search results - page 360 / 1775 » A New Implementation of Automath |
189
click to vote
FAST
2009
15 years 4 months ago
2009
We present DIADS, an integrated DIAgnosis tool for Databases and Storage area networks (SANs). Existing diagnosis tools in this domain have a database-only (e.g., [11]) or SAN-onl...
200
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
240
click to vote
GLOBECOM
2009
IEEE
15 years 4 months ago
2009
IEEE
Due to the limited energy supplies of nodes in many applications like wireless sensor networks, energy efficiency is crucial for extending the lifetime of these networks. This pape...
207
click to vote
HCI
2009
15 years 4 months ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
182
click to vote
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
The reduced-reference (RR) approximation of a full-reference (FR) video quality assessment method is a convenient way to build evaluation metrics which are both intrinsically well...