7557 search results - page 418 / 1512 » Modeling Timed Concurrent Systems |
162
click to vote
WSC
2008
15 years 9 months ago
2008
The research is to illustrate how to identify the significant factor(s) affecting the Request For Information (RFI) process cycle time in the context of queueing behavior. Among t...
189
click to vote
ECMDAFA
2005
Springer
16 years 10 days ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
188
click to vote
CIDR
2007
15 years 8 months ago
2007
Event processing will play an increasingly important role in constructing enterprise applications that can immediately react to business critical events. Various technologies have...
230
click to vote
LOGCOM
1998
15 years 6 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
195
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...