8874 search results - page 1660 / 1775 » A New Implementation of Automath |
133
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...
133
click to vote
LPAR
2004
Springer
15 years 9 months ago
2004
Springer
ion-Carrying Code Elvira Albert1 , Germ´an Puebla2 , and Manuel Hermenegildo2,3 1 DSIP, Universidad Complutense Madrid 2 Facultad de Inform´atica, Technical University of Madrid ...
154
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
144
click to vote
MIDDLEWARE
2004
Springer
15 years 9 months ago
2004
Springer
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
153
click to vote
MWCN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract Key issues of wireless ad hoc networks are auto-configuration and flexibility. Due to mobility, wireless networks are subject to frequent splits and merges. In many situ...