557 search results - page 95 / 112 » The L4.verified Project - Next Steps |
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
—Recently 3GPP (Third Generation Partnership Project) has standardised MBMS (Multimedia Broadcast Multicast Services) enabling broadcast and multicast transmissions over GPRS (Ge...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this work we examine the control of center of mass and swing leg trajectories in LittleDog, a point-foot quadruped robot. It is not clear how to formulate a function to comp...
ISPW
2007
IEEE
14 years 1 months ago
2007
IEEE
The economic benefit of a certain development process or particular activity is usually unknown and indeed hard to predict. However, the cost-effectiveness of process improvement...
PG
2007
IEEE
14 years 1 months ago
2007
IEEE
We introduce QAS, an efficient quadratic approximation of subdivision surfaces which offers a very close appearance compared to the true subdivision surface but avoids recursion,...
ESORICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. While the idea of database outsourcing is becoming increasingly popular, the associated security risks still prevent many potential users from deploying it. In particular...