2740 search results - page 406 / 548 » Typing the Specialization Interface |
129
click to vote
CHI
2009
ACM
15 years 10 months ago
2009
ACM
Even though adaptive (trainable) spam filters are a common example of systems that make (semi-)autonomous decisions on behalf of the user, trust in these filters has been underexp...
123
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
126
click to vote
ICNS
2009
IEEE
15 years 10 months ago
2009
IEEE
Combining end-host, server and router virtualization could offer isolated and malleable virtual networks of different types, owners and protocols, all sharing one physical infrast...
186
click to vote
IRI
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
110
click to vote
IV
2009
IEEE
15 years 10 months ago
2009
IEEE
Computational simulation is an established method to gain insight into cellular processes. As the resulting data sets are usually large and complex, visualization can play a signi...