8196 search results - page 302 / 1640 » Computational Modeling and Complexity Science |
167
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
146
click to vote
ASM
2005
ASM
16 years 5 days ago
2005
ASM
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
202
click to vote
UML
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
139
click to vote
COMPLEX
2009
Springer
16 years 1 months ago
2009
Springer
Financial fluctuations play a key role for financial markets studies. A new approach focusing on properties of return intervals can help to get better understanding of the fluct...
170
click to vote
ISAAC
2003
Springer
15 years 12 months ago
2003
Springer
Given a string x and a language L, the Hamming distance of x to L is the minimum Hamming distance of x to any string in L. The edit distance of a string to a language is analogous...