4460 search results - page 115 / 892 » Formal methods for interactive systems |
CHI
2010
ACM
15 years 1 months ago
2010
ACM
Nonprofit organizations often need to excel in coordinating with other organizations and must do so in a variety of contexts and levels from the informal to the formal. Their abil...
106
click to vote
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Message Sequence Charts (MSCs) are widely used for describing interaction scenarios between the components of a distributed system. Consequently, worst-case response time estimati...
BCSHCI
2008
14 years 11 months ago
2008
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...
103
click to vote
SIGCOMM
2012
ACM
13 years 14 days ago
2012
ACM
Today’s inter-domain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfiguration by individual autonomous system...
JMLR
2010
14 years 4 months ago
2010
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...