Sciweavers

3639 search results - page 584 / 728
» Experiments on IPv6 Testing
Sort
View
RAS
2010
104views more  RAS 2010»
13 years 7 months ago
A hybrid controller based on the egocentric perceptual principle
In this paper we extend the control methodology based on Extended Markov Tracking (EMT) by providing the control algorithm with capabilities to calibrate and even partially recons...
Zinovi Rabinovich, Nicholas R. Jennings
RV
2010
Springer
122views Hardware» more  RV 2010»
13 years 7 months ago
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
Eric Bodden, Patrick Lam, Laurie J. Hendren
SIAMSC
2010
115views more  SIAMSC 2010»
13 years 7 months ago
A New Level Set Method for Motion in Normal Direction Based on a Semi-Implicit Forward-Backward Diffusion Approach
We introduce a new level set method for motion in normal direction. It is based on a formulation in the form of a second order forward-backward diffusion equation. The equation is...
Karol Mikula, Mario Ohlberger
SIGECOM
2010
ACM
174views ECommerce» more  SIGECOM 2010»
13 years 7 months ago
Aggregation and manipulation in prediction markets: effects of trading mechanism and information distribution
We conduct laboratory experiments on variants of market scoring rule prediction markets, under different information distribution patterns, in order to evaluate the efficiency an...
Lian Jian, Rahul Sami
SSS
2010
Springer
139views Control Systems» more  SSS 2010»
13 years 7 months ago
Vulnerability Analysis of High Dimensional Complex Systems
Complex systems experience dramatic changes in behavior and can undergo transitions from functional to dysfunctional states. An unstable system is prone to dysfunctional collective...
Vedant Misra, Dion Harmon, Yaneer Bar-Yam