264 search results - page 32 / 53 » Time Constraint Patterns for Event B Development |
ICML
1999
IEEE
14 years 8 months ago
1999
IEEE
The problemofmultipleglobalcomparisonin familiesof biologicalsequences has been wellstudied. Fewer algorithms have been developed for identifying local consensus patterns or motif...
TII
2010
13 years 2 months ago
2010
Abstract--Real-time systems are subject to temporal constraints and require a schedulability analysis to ensure that task execution finishes within lower and upper specified bounds...
METRICS
2005
IEEE
14 years 1 months ago
2005
IEEE
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
We consider the problem of dynamic buying and selling of shares from a collection of N stocks with random price fluctuations. To limit investment risk, we place an upper bound on t...
ICSE
2007
IEEE-ACM
14 years 1 months ago
2007
IEEE-ACM
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...