Sciweavers

7311 search results - page 90 / 1463
» Time in State Machines
Sort
View
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
StateSnap: A Snapshot-based Interface for State-Reproductable Operation of Networked Appliances
This paper describes a snapshot-based interface for networked appliances operations that allows users to store and reproduce the conditions of media contents in those appliances b...
Naohiko Kohtake, Takeshi Iwamoto, Genta Suzuki, Sh...
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 4 months ago
Persistent Queries
act state machines. (To make that discussion self-contained, we include a summary of this material before the modifications.) Fortunately, only rather minor modifications are neede...
Andreas Blass, Yuri Gurevich
TOOLS
2000
IEEE
15 years 8 months ago
Pickling Threads State in the Java System
Today, distributed object-based computing is closely linked with Java. The Java virtual machine is ported to most current operating systems and provides many services which help d...
Sara Bouchenak, Daniel Hagimont
NAACL
2007
15 years 5 months ago
Stating with Certainty or Stating with Doubt: Intercoder Reliability Results for Manual Annotation of Epistemically Modalized St
Texts exhibit subtle yet identifiable modality about writers’ estimation of how true each statement is (e.g., definitely true or somewhat true). This study is an analysis of suc...
Victoria L. Rubin
FOCS
2006
IEEE
15 years 10 months ago
On the time complexity of 2-tag systems and small universal Turing machines
We show that 2-tag systems efficiently simulate Turing machines. As a corollary we find that the small universal Turing machines of Rogozhin, Minsky and others simulate Turing ma...
Damien Woods, Turlough Neary