8495 search results - page 1610 / 1699 » IT Support for Healthcare Processes |
202
click to vote
ICS
2004
Tsinghua U.
15 years 11 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
180
click to vote
KDD
2004
ACM
15 years 11 months ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
171
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
165
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
We believe that there is a very strong need for an environment to support research and experiments on model-driven engineering. Therefore we have started the TopModL project, an o...
194
click to vote
UPP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This is just a glimpse to the fruitful and constant preoccupation of computer science to try to get inspired by biology, at various levels. Besides briefly discussing th...