1380 search results - page 98 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
ESORICS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
AUTOMATICA
2008
13 years 9 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
SQJ
2008
13 years 9 months ago
2008
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...
AAAI
2006
13 years 10 months ago
2006
We present a model for buying agents in e-marketplaces to interpret evaluations of sellers provided by other buying agents, known as advisors. The interpretation of seller evaluat...