3169 search results - page 484 / 634 » Robust Timed Automata |
WOSP
2010
ACM
14 years 5 months ago
2010
ACM
We propose a model-based methodology to size and plan enterprise applications under Service Level Agreements (SLAs). Our approach is illustrated using a real-world Enterprise Reso...
EVOW
2010
Springer
14 years 5 months ago
2010
Springer
Computational evolutionary art has been an active practice for at least 20 years. Given the remarkable advances in that time in other realms of computing, including other forms of ...
ISBI
2009
IEEE
14 years 5 months ago
2009
IEEE
The inverse problem with distributed dipoles models in M/EEG is strongly ill-posed requiring to set priors on the solution. Most common priors are based on a convenient ℓ2 norm....
ISBI
2009
IEEE
14 years 5 months ago
2009
IEEE
In refractory epilepsy, the goal of neuroimaging is to localize the region of seizure onset. Tracers that accumulate and remain fixed proportional to regional cerebral blood flo...
PDP
2009
IEEE
14 years 5 months ago
2009
IEEE
PsycoTrace is a set of tools to protect a process P from attacks that alter P self as specified by its source code. P self is specified in terms of legal traces of system calls ...