4738 search results - page 214 / 948 » Past, Present, and Future |
163
click to vote
TYPES
2007
Springer
16 years 19 days ago
2007
Springer
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
208
click to vote
ETFA
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper, the Open Source project RTnet is presented. RTnet provides a customisable and extensible framework for hard real-time communication over Ethernet and other transpor...
135
click to vote
IRI
2005
IEEE
16 years 3 days ago
2005
IEEE
Abstract)",4th Annual Walter Lincoln Hawkins Research Conference, RPI, November 2005. B. Hill, \Correlated Caching for Correlated Data", 2nd Annual Walter Lincoln Hawkins...
148
click to vote
LCN
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a model for the expected throughput in a Bluetooth network in presence of a number of other Bluetooth networks that cause radio interference. The analysis cons...
138
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: Information overflow is one of the greatest challenges for information focused professions today. This paper presents the Personal Information Agent, an agent based info...