Sciweavers

13784 search results - page 2638 / 2757
» On Computing Functions with Uncertainty
Sort
View
EDOC
2008
IEEE
15 years 11 months ago
Reliable Discovery and Selection of Composite Services in Mobile Environments
Service providers as we know them nowadays are the always-on “static” web service providers, that aim at Five9 availability (99.999%). Formal, or de-facto, standards, such as ...
Lucia Del Prete, Licia Capra
ICCCN
2008
IEEE
15 years 11 months ago
TRACK: A Novel Connected Dominating Set based Sink Mobility Model for WSNs
—The core functionality of a wireless sensor network (WSN) is to detect deviations in expected normal behavior and report it to the sink. In this paper, we propose TRACK — a no...
Avinash Srinivasan, Jie Wu
ICMCS
2008
IEEE
165views Multimedia» more  ICMCS 2008»
15 years 11 months ago
Hyperacoustic instruments: Computer-controlled instruments that are not electrophones
This paper describes a musical instrument consisting of a physical process that acoustically generates sound from the material world (i.e. sound derived from matter such as solid,...
Steve Mann, Ryan E. Janzen, Raymond Lo
INFOCOM
2008
IEEE
15 years 11 months ago
The Inframetric Model for the Internet
—A large amount of algorithms has recently been designed for the Internet under the assumption that the distance defined by the round-trip delay (RTT) is a metric. Moreover, man...
Pierre Fraigniaud, Emmanuelle Lebhar, Laurent Vien...
LICS
2008
IEEE
15 years 11 months ago
On the Asymptotic Nullstellensatz and Polynomial Calculus Proof Complexity
We show that the asymptotic complexity of uniformly generated (expressible in First-Order (FO) logic) propositional tautologies for the Nullstellensatz proof system (NS) as well a...
Søren Riis
« Prev « First page 2638 / 2757 Last » Next »