183 search results - page 37 / 37 » Pathway Logic: Executable Models of Biological Networks |
ASE
2004
13 years 5 months ago
2004
er is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits sign...
PADS
1999
ACM
13 years 9 months ago
1999
ACM
In an attempt to cope with time-varying workload, traditional adaptive Time Warp protocols are designed to react in response to performance changes by altering control parameter c...
AMOST
2007
ACM
13 years 9 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...