8874 search results - page 1613 / 1775 » A New Implementation of Automath |
164
click to vote
NTMS
2009
IEEE
15 years 11 months ago
2009
IEEE
—IPSec is a protocol that allows to make secure connections between branch offices and allows secure VPN accesses. However, the efforts to improve IPSec are still under way; one ...
135
Voted
RTSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The functional consolidation induced by the costreduction trends in embedded systems can force tasks of different criticality (e.g. ABS Brakes with DVD) to share a proce...
133
click to vote
ICSM
2009
IEEE
15 years 11 months ago
2009
IEEE
As development on a software project progresses, developers shift their focus between different topics and tasks many times. Managers and newcomer developers often seek ways of un...
158
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—It has been widely acknowledged that online storage systems within the “cloud” of the Internet provide services of a substantial value to end users who wish to share files ...
135
Voted
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Mobile Ad hoc Network (MANET) routing protocols have been the focus of an accomplished research effort for many years within the networking community and now the results of this...