1116 search results - page 181 / 224 » Applying Predicate Abstraction to Abstract State Machines |
113
Voted
LSSC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
127
click to vote
CIE
2007
Springer
15 years 3 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
UC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Dynamical structure in the brain promotes biological function. Natural scientists look for correlations between measured electrical signals and behavior or mental states....
WWW
2001
ACM
15 years 11 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...