Sciweavers

3206 search results - page 143 / 642
» How minds can be computational systems
Sort
View
IJCAI
2007
15 years 7 months ago
Scalable Diagnosability Checking of Event-Driven Systems
Diagnosability of systems is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. Generally, in the l...
Anika Schumann, Yannick Pencolé
149
Voted
SIGSOFT
2007
ACM
16 years 6 months ago
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
Yuriy Brun, Nenad Medvidovic
RTCSA
2006
IEEE
16 years 5 days ago
Strengthening Property Preservation in Concurrent Real-Time Systems
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
Oana Florescu, Jinfeng Huang, Jeroen Voeten, Henk ...
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 11 months ago
Constrained time-optimal control of linear parameter-varying systems
Abstract— For linear and hybrid systems, constrained timeoptimal control was shown to be a low complexity alternative to the explicit solution of the constrained finite-time-opt...
Thomas Besselmann, Johan Löfberg, Manfred Mor...
MEDIAFORENSICS
2010
15 years 7 months ago
Image forensic analyses that elude the human visual system
While historically we may have been overly trusting of photographs, in recent years there has been a backlash of sorts and the authenticity of photographs is now routinely questio...
Hany Farid, Mary J. Bravo