656 search results - page 25 / 132 » A Formalization of Transition P Systems |
82
Voted
ICALP
1989
Springer
15 years 4 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...
102
Voted
RTSS
1998
IEEE
15 years 4 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
128
Voted
APSEC
2001
IEEE
15 years 4 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
91
Voted
FUIN
2010
14 years 11 months ago
2010
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
82
Voted
IFL
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...