3729 search results - page 371 / 746 » On Formal Modeling of Agent Computations |
159
click to vote
UC
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computin...
176
Voted
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
184
click to vote
TCS
2008
15 years 6 months ago
2008
Formalized study of self-assembly has led to the definition of the tile assembly model, a highly distributed parallel model of computation that may be implemented using molecules ...
182
click to vote
EDOC
2006
IEEE
16 years 25 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
199
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...