1768 search results - page 146 / 354 » A Logic for Algebraic Effects |
173
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
Design patterns capture expert design experience in generic design structure and behavior. A design pattern needs to be instantiated before using. It can be integrated with other ...
202
Voted
FSKD
2007
Springer
16 years 1 months ago
2007
Springer
One of the challenges a decision maker faces is choosing a suitable rough set model to use for data analysis. The traditional algebraic rough set model classifies objects into th...
197
click to vote
ETS
2006
IEEE
16 years 1 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
168
click to vote
FASE
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
187
click to vote
FSTTCS
2004
Springer
16 years 12 days ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...