8874 search results - page 25 / 1775 » A New Implementation of Automath |
ICWE
2004
Springer
14 years 4 months ago
2004
Springer
The next version of XHTML is at work-in-progress stage in the World Wide Web Consortium. It adds a lot of features to the most used content language of the Web. The most notable ch...
INFOCOM
1998
IEEE
14 years 3 months ago
1998
IEEE
As the number and variety of Web- and network-based applications continues to increase, so does the need for flexible communication protocols and services to support them. Traditi...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
: We propose a new platform for implementing secure wireless ad hoc networks. Our proposal is based on a modular architecture, with the software stack constructed directly on the E...
Publication
Transit agencies implement limited-stop (express) bus services as a mean to provide an attractive and competitive transportation mode when compared to the automobile. In 2008, the ...
ICPP
1993
IEEE
14 years 3 months ago
1993
IEEE
SIMD or vector computers and collection-oriented languages, like C , are designed to perform the same computation on each data item or on just a subset of the data. Subsets of pro...