Search Sciweavers | Sciweavers

244 search results - page 2 / 49

» Contracts for first-class classes

click to vote

JNW
2007

124views more JNW 2007»

World's First Class C Web Census: The First Step in a Complete Census of the Web

13 years 4 months ago

Download www.academypublisher.com

— Our research goal is to measure the exact size of the World Wide Web (i.e., a census). The measure we are interested in is the number of publicly accessible web servers on port...

Darcy G. Benoit, Devin Slauenwhite, Nick Schofield...

claim paper

Read More »

click to vote

CADE
2006
Springer

106views Logical Reasoning» more CADE 2006»

On Keys and Functional Dependencies as First-Class Citizens in Description Logics

14 years 5 months ago

Download www.cs.uwaterloo.ca

We investigate whether identification constraints such as keys and functional dependencies can be granted full status as a concept constructor in a Boolean-complete description log...

David Toman, Grant E. Weddell

claim paper

Read More »

click to vote

OSDI
2008
ACM

167views Operating System» more OSDI 2008»

Redline: First Class Support for Interactivity in Commodity Operating Systems

14 years 5 months ago

Download www.cs.umass.edu

While modern workloads are increasingly interactive and resource-intensive (e.g., graphical user interfaces, browsers, and multimedia players), current operating systems have not ...

Ting Yang, Tongping Liu, Emery D. Berger, Scott F....

claim paper

Read More »

click to vote

WETICE
2007
IEEE

129views Emerging Technology» more WETICE 2007»

First-Class Protocols for Agent-Based Coordination of Scientific Instruments

13 years 11 months ago