498 search results - page 75 / 100 » On the Category of Petri Net Computations |
GI
2009
Springer
14 years 10 days ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
HCI
2009
13 years 6 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
JUCS
2007
13 years 8 months ago
2007
: The impact of the Internet on Society also affects learning at University. Students use not only printed books and their own notes, but also the information available on the Net...
MUM
2005
ACM
14 years 2 months ago
2005
ACM
This paper proposes an intelligent mobile middleware utilizing group-based content push with dynamic session startup and plugand-play features. Solution enhances the distribution ...
FMSB
2008
13 years 10 months ago
2008
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...