3765 search results - page 165 / 753 » Formal Methods for Systems Engineering Behavior Models |
204
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
Background: Inferring a gene regulatory network (GRN) from high throughput biological data is often an under-determined problem and is a challenging task due to the following reas...
160
click to vote
ECOOP
2005
Springer
16 years 1 days ago
2005
Springer
Advice is a mechanism used by advanced object-oriented and aspect-oriented programming languages to augment the behavior of methods in a program. Advice can help to make programs m...
225
click to vote
ICTAI
2008
IEEE
16 years 28 days ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
187
click to vote
ISORC
2005
IEEE
16 years 2 days ago
2005
IEEE
One of the problems with Java for real-time systems is the unpredictable behavior of garbage collection (GC). GC introduces unexpected load and causes undesirable delays for real-...
160
click to vote
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...