2357 search results - page 226 / 472 » Computing Refactorings of Behavior Models |
140
click to vote
EDUTAINMENT
2007
Springer
15 years 10 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
147
click to vote
ICNP
2005
IEEE
15 years 9 months ago
2005
IEEE
Border Gateway Protocol (BGP) is the de facto standard used for interdomain routing. Since packet forwarding may not be possible until stable routes are learned, it is not only cr...
138
click to vote
ALS
2003
Springer
15 years 9 months ago
2003
Springer
This paper takes an overtly anticipatory stance to the understanding of animat learning and behavior. It analyses four major animal learning theories and attempts to identify the a...
145
click to vote
LICS
1993
IEEE
15 years 8 months ago
1993
IEEE
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
PNPM
1989
15 years 8 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...