Skip to search formSkip to main contentSkip to account menu

State (computer science)

Known as: Application state, Statefulness, Stateful protocols 
In computer science and automata theory, the state of a digital logic circuit or computer program is a technical term for all the stored information… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Abstract state machinesAbstraction (software engineering)Accumulator (computing)Adaptive grammar

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
A QoS-aware fault tolerant middleware for dependable service composition
Based on the framework of service-oriented architecture (SOA), complex distributed systems can be dynamically and automatically… 
Highly Cited
2007
Highly Cited
2007
Abstracting Symbolic Execution with String Analysis
Forward symbolic execution is a technique for program analysis that explores the execution paths of a program by maintaining a… 
Highly Cited
2006
Highly Cited
2006
REALIZATION PROBLEM FOR POSITIVE MULTIVARIABLE DISCRETE-TIME LINEAR SYSTEMS WITH DELAYS IN THE STATE VECTOR AND INPUTS
The realization problem for positive multivariable discrete-time systems with delays in the state and inputs is formulated and… 
Highly Cited
2003
Highly Cited
2003
Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection
  • N. LookerJie Xu
  • The Ninth IEEE International Workshop on Object…
  • 2003
  • Corpus ID: 30908435
This paper presents our research on devising a dependability assessment method for SOAP-based Web Services using network level… 
Highly Cited
1996
Highly Cited
1996
Social reform, sexuality, and the state
Introduction - Patricia Uberoi Problematising Social Reform, Engaging Sexuality, Interrogating the State PART ONE: THE REGULATION… 
Highly Cited
1994
Highly Cited
1994
Temporal Theories of Reasoning
ABSTRACT In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the… 
1993
1993
Output feedback risk-sensitive control and differential games for continuous-time nonlinear systems
In this paper we carry out a formal analysis of an output feedback risk-sensitive stochastic control problem. Using large… 
Highly Cited
1985
Highly Cited
1985
Robot arm dynamic control by computer
A new dynamic control method is discussed for robot arms. It is based on nonlinear feedback and diffeomorphic (state… 
Highly Cited
1984
Highly Cited
1984
Protocol Validation by Maximal Progress State Exploration
We discuss an efficient variation of state exploration for two communicating finite state machines. In particular, we propose to… 
Highly Cited
1980
Highly Cited
1980
A semi-Markov model for characterizing recurrence of great earthquakes
abstract A semi-Markov model estimating the waiting times and magnitudes of large earthquakes is proposed. The model defines a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)