2232 search results - page 130 / 447 » Formal Modeling and Analysis of Organizations |
170
click to vote
FSTTCS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
169
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The field of program analysis has focused primarily on sequential programming languages. But multithreading is becoming increasingly important, both as a program structu...
145
click to vote
CERA
2010
2010
A Framework of Describing and Managing Engineering Analysis Modeling Knowledge for Design Validation
15 years 6 months ago
Engineering design is validated by engineering analysis. In the process for predicting the physical behavior of the design, the design components, physical mechanisms, etc. are id...
192
click to vote
COGSCI
2010
15 years 6 months ago
2010
Symbols enable people to organize and communicate about the world. However, the ways in which symbolic knowledge is learned and then represented in the mind are poorly understood....
141
click to vote
JIB
2006
15 years 6 months ago
2006
Bioinformatics blossomed with research developments in molecular biology. But as the focus of research moves back up the physical scale to the biology of whole multicellular organ...