1768 search results - page 277 / 354 » A Logic for Algebraic Effects |
177
click to vote
ERSA
2006
15 years 7 months ago
2006
Thermal monitoring of a design plays a vital role to ensure safe and reliable thermal operating conditions. Thermal monitoring by employing thermal sensors is a popular technique ...
143
click to vote
CASCON
1996
15 years 7 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
156
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Abstract-- Choquet integral has proved to be an effective aggregation model in multiple criteria decision analysis when interactions between criteria have to be taken into consider...
164
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
177
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Many applications in analytical domains often have the need to "connect the dots" i.e., query about the structure of data. In bioinformatics for example, it is typical t...