2036 search results - page 333 / 408 » A generic type-and-effect system |
99
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—rSesame is a generic modeling and simulation framework which can explore and evaluate reconfigurable systems at the early design stages. The framework can be used to ex...
115
Voted
PODS
2010
ACM
15 years 5 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
77
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
106
Voted
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
We describe an approach to healthcare coordination using object life cycles (OLCs) [1]. By consulting the OLC of a given patient object instance, the legal methods to apply to tha...
HICSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Efficient and equitable dispute resolution is key to avoiding systemic disturbance in the use and valorization of top level domain names (TLDs). Such dispute resolution is also im...