443 search results - page 40 / 89 » The Lost Art of Abstraction |
130
Voted
RTSS
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...
113
Voted
ARC
2010
Springer
15 years 18 days ago
2010
Springer
: System identification is the art and science of building mathematical models of dynamic systems from observed input-output data. It can be seen as the interface between the real ...
83
Voted
GPEM
2006
15 years 14 days ago
2006
Abstract. Too much information kills information. This common statement applies to huge databases, where state of the art search engines may retrieve hundreds of very similar docum...
102
Voted
CADE
2001
Springer
16 years 24 days ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...
125
Voted
SIGOPSE
1998
ACM
15 years 4 months ago
1998
ACM
with this, the thread abstraction was introduced. While threads are handling events, or awaiting specific events, unrelated events can be handled by other threads. Unfortunately, ...