3310 search results - page 431 / 662 » Aspect-aware operating system development |
198
click to vote
SAC
2011
ACM
14 years 9 months ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...
171
click to vote
TASE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
169
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In biomedical research it is difficult to perceive tumors or cells and perform biopsies manually. Robotics technology can offer a reliable solution for accurate needle inserti...
130
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
165
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
With the trend of cloud computing, data and computing are moved away from desktop and are instead provided as a service from the cloud. Data-as-a-service enables access to a wealth...