1249 search results - page 90 / 250 » State Machine Modeling: From Synch States to Synchronized St... |
PLDI
2010
ACM
14 years 3 months ago
2010
ACM
Programming language specifications mandate static and dynamic analyses to preclude syntactic and semantic errors. Although individual languages are usually well-specified, comp...
NN
2007
Springer
13 years 9 months ago
2007
Springer
A network with a logistic-like local dynamics is considered. We implement a mean-field multiplicative coupling among first-neighbor nodes. When the coupling parameter is small, ...
RE
2004
Springer
14 years 3 months ago
2004
Springer
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
FORTE
2008
13 years 11 months ago
2008
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
ICPR
2002
IEEE
14 years 3 months ago
2002
IEEE
Estimating mode (walking/running/standing) and phases of human locomotion is important for video understanding. We present a new ”tracking as recognition” approach. A hierarch...