7311 search results - page 150 / 1463 » Time in State Machines |
116
click to vote
MOBISYS
2005
ACM
16 years 4 months ago
2005
ACM
Given a sufficiently good network connection, even a handheld computer can run extremely resource-intensive applications by executing the demanding portions on a remote server. At...
150
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Given the increasing investment on information technology (IT) and Web site features, it becomes crucial to measure reliably the impact of these characteristics on the overall qua...
168
click to vote
AAAI
2012
13 years 6 months ago
2012
Markov decision processes (MDPs) are an established framework for solving sequential decision-making problems under uncertainty. In this work, we propose a new method for batchmod...
126
click to vote
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
182
click to vote
LOGCOM
2010
14 years 11 months ago
2010
We describe a method to axiomatize computations in deterministic Turing machines (TMs). When applied to computations in non-deterministic TMs, this method may produce contradictor...