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
2005
Highly Cited
2005
HAWK: Halting Anomalies with Weighted Choking to Rescue Well-Behaved TCP Sessions from Shrew DDoS Attacks
High availability in network services is crucial for effective large-scale distributed computing. While distributed denial-of… 
Highly Cited
2005
Highly Cited
2005
Probabilistic distances between finite-state finite-alphabet hidden Markov models
This note considers the problem of evaluating a probabilistic distance between discrete-time, homogeneous, first-order, finite… 
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
1997
Highly Cited
1997
"On-the-fly" solution techniques for stochastic Petri nets and extensions
Use of a high-level modeling representation, such as stochastic Petri nets, frequently results in a very large state space. In… 
1994
1994
The Development and Drafting of the United Nations Convention Against Torture and Other Cruel Inhuman or Degrading Treatment or Punishment
Review
1986
Review
1986
Characterization of hydrodynamic strange attractors
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… 
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)