12084 search results - page 380 / 2417 » Effect Systems with Subtyping |
211
click to vote
ICCD
1994
IEEE
15 years 11 months ago
1994
IEEE
There is currently great interest in using fixed arrays of FPGAs for logic emulators, custom computing devices, and software accelerators. An important part of designing such a sy...
209
click to vote
ETRICS
2006
15 years 11 months ago
2006
Recommender systems are widely used to help deal with the problem of information overload. However, recommenders raise serious privacy and security issues. The personal information...
203
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
186
click to vote
WSC
2008
15 years 10 months ago
2008
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
185
click to vote
ATC
2007
Springer
15 years 9 months ago
2007
Springer
We propose a generic architecture to facilitate the systematic design of autonomous, adaptive and safe applications. We specify generic modules including a trustworthiness enforcem...