Sciweavers

15614 search results - page 156 / 3123
» The State of State
Sort
View
JISE
2008
107views more  JISE 2008»
15 years 3 months ago
A State-Based Testing Approach for Aspect-Oriented Programming
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
Chien-Hung Liu, Chuan-Wen Chang
ALIFE
2005
15 years 3 months ago
State Aggregation and Population Dynamics in Linear Systems
We consider complex systems that are composed of many interacting elements, evolving under some dynamics. We are interested in characterizing the ways in which these elements may b...
Jonathan E. Rowe, Michael D. Vose, Alden H. Wright
IPL
2007
125views more  IPL 2007»
15 years 3 months ago
State explosion in almost-sure probabilistic reachability
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
François Laroussinie, Jeremy Sproston
CORR
2000
Springer
89views Education» more  CORR 2000»
15 years 3 months ago
Approximation and Exactness in Finite State Optimality Theory
Previous work (Frank and Satta, 1998; Karttunen, 1998) has shown that Optimality Theory with gradient constraints generally is not finite state. A new finite-state treatment of gr...
Dale Gerdemann, Gertjan van Noord
AC
1998
Springer
15 years 3 months ago
The State of Cryptographic Hash Functions
This paper describes the state of the art for cryptographic hash functions. Different definitions are compared, and the few theoretical results on hash functions are discussed. A...
Bart Preneel