Sciweavers

351 search results - page 17 / 71
» Functional Nets
Sort
View
EWCBR
2004
Springer
15 years 5 months ago
Software Design Retrieval Using Bayesian Networks and WordNet
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
Paulo Gomes
ICRA
2007
IEEE
195views Robotics» more  ICRA 2007»
15 years 6 months ago
A Biologically Inspired Approach to the Coordination of Hexapedal Gait
— This paper presents a method for the control of locomotion in a robot hexapod. The approach is based on the WalkNet structure, which in turn is based on the neural control stru...
Keith W. Wait, Michael Goldfarb
BIB
2007
139views more  BIB 2007»
14 years 12 months ago
Petri net modelling of biological networks
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
Claudine Chaouiya
MASCOTS
2003
15 years 1 months ago
Software Performance Modeling Using UML and Petri Nets
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
José Merseguer, Javier Campos
FSTTCS
2009
Springer
15 years 6 months ago
Modelchecking counting properties of 1-safe nets with buffers in paraPSPACE
ABSTRACT. We consider concurrent systems that can be modelled as 1-safe Petri nets communicating through a fixed set of buffers (modelled as unbounded places). We identify a param...
M. Praveen, Kamal Lodaya