Sciweavers

645 search results - page 46 / 129
» concurrency 2007
Sort
View
79
Voted
AUTOMATICA
2006
68views more  AUTOMATICA 2006»
15 years 16 days ago
Relaxed fault detection and isolation: An application to a nonlinear case study
Given a number of possibly concurrent faults (and disturbances) that may affect a nonlinear dynamic system, it may not be possible to solve the standard fault detection and isolat...
Raffaella Mattone, Alessandro De Luca
BC
2004
106views more  BC 2004»
15 years 10 days ago
Biomechanical mechanism for transitions in phase and frequency of arm and leg swing during walking
As humans increase walking speed, there are concurrent transitions in the frequency ratio between arm and leg movements from 2:1 to 1:1 and in the phase relationship between the mo...
Masayoshi Kubo, Robert C. Wagenaar, Elliot Saltzma...
86
Voted
AIPS
2007
15 years 2 months ago
Evaluating Temporal Planning Domains
The last eight years have seen dramatic progress in temporal planning as highlighted by the temporal track in the last three International Planning Competitions (IPC). However, ou...
William Cushing, Daniel S. Weld, Subbarao Kambhamp...
108
Voted
FMOODS
2003
15 years 1 months ago
Inductive Proof Outlines for Monitors in Java
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
Erika Ábrahám, Frank S. de Boer, Wil...
FMOODS
2003
15 years 1 months ago
A Rewriting Based Model for Probabilistic Distributed Object Systems
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
Nirman Kumar, Koushik Sen, José Meseguer, G...