875 search results - page 59 / 175 » On Reachability Under Uncertainty |
101
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Although customer relationship management (CRM) is currently gaining widespread popularity in several disciplines and industries, mobile medium as an element of CRM is rarely take...
95
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
— The main thesis of this paper is to perform a reliability based performance analysis for a shared latch inserted global interconnect under uncertainty. We first put forward a ...
111
Voted
BIOCOMP
2010
14 years 10 months ago
2010
The tryptophan operon of E. coli represents an important regulatory unit consisting of multiple feedback loops. The role of these loops is crucial to understand the dynamics of tr...
124
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
119
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
—The paper proposes a framework for modeling and analysis of the dynamics of supply, demand, and clearing prices in power system with real-time retail pricing and information asy...