2364 search results - page 342 / 473 » An Engine for Computing Well-Founded Models |
145
click to vote
QOFIS
2004
Springer
15 years 9 months ago
2004
Springer
The current Internet implements hop-by-hop packet forwarding based entirely on globally-unique identifiers specified in packet headers, and routing tables that identify destinati...
135
click to vote
UIST
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a new GUI architecture for creating advanced interfaces. This model is based on a limited set of general principles that improve flexibility and provide capabi...
116
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This paper presents several engineering applications that involve distributed software services. Due to the complexity of these applications, an efficient and flexible se...
156
click to vote
ICCAD
2000
IEEE
15 years 9 months ago
2000
IEEE
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
163
click to vote
COOPIS
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper reports on a practical implementation of a context mediator for the fixed income securities industry. We describe industry circumstances and the data and calculation se...