10038 search results - page 1851 / 2008 » Model Checking for Managers |
145
Voted
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
151
Voted
ICDCSW
2007
IEEE
15 years 4 months ago
2007
IEEE
—Application mobility is an efficient way to mask uneven conditioning and reduce users’ distractions in pervasive environments. However, since mobility brings more dynamism and...
143
click to vote
ANOR
2007
15 years 4 months ago
2007
Abstract The pervasiveness and impact on society and on every day human life of technology has led to a growing awareness that science and technology cannot be considered above or ...
120
click to vote
AROBOTS
2007
15 years 4 months ago
2007
This research details the application of non-verbal communication display behaviors to an autonomous humanoid robot, including the use of proxemics, which to date has been seldom ...
152
click to vote
CACM
2008
15 years 4 months ago
2008
TxLinux is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. TxLinux, which is a ...