2448 search results - page 219 / 490 » The Octahedron Abstract Domain |
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
Abstract. Dynamic real-time systems function in unpredictable environments and have requirements that span many domains such as time, survivability, and scalability. The system req...
83
Voted
IEAAIE
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Configuration is the process of composing a system from a set of components such that the system fulfills a set of desired demands. The configuration process relies on a ...
117
Voted
ICDT
1997
ACM
15 years 3 months ago
1997
ACM
Abstract. The goal of this paper is to study tractable iteration mechanisms for bags. The presence of duplicates in bags prevents iteration mechanisms developed in the context of s...
71
Voted
BPM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
FIMH
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. We propose a new framework for simulating blood flow inside the heart, usable with geometric models of the heart from patientspecific data. The method is geared toward re...