Sciweavers

5675 search results - page 432 / 1135
» Formalising Performative Interaction
Sort
View
CGO
2007
IEEE
16 years 2 months ago
Understanding Tradeoffs in Software Transactional Memory
There has been a flurry of recent work on the design of high performance software and hybrid hardware/software transactional memories (STMs and HyTMs). This paper reexamines the ...
David Dice, Nir Shavit
DSOM
2007
Springer
16 years 1 months ago
AURIC: A Scalable and Highly Reusable SLA Compliance Auditing Framework
Abstract. Service Level Agreements (SLA) are needed to allow business interactions to rely on Internet services. Service Level Objectives (SLO) specify the committed performance le...
Hasan, Burkhard Stiller
IROS
2006
IEEE
143views Robotics» more  IROS 2006»
16 years 1 months ago
A New Method of Executing Multiple Auxiliary Tasks by Redundant Nonholonomic Mobile Manipulators
— This paper addresses the multiple tasks performing issues for redundant nonholonomic mobile manipulators. An extended gradient projection redundancy resolution scheme is propos...
Yugang Liu, Yangmin Li
IROS
2006
IEEE
146views Robotics» more  IROS 2006»
16 years 1 months ago
A Video Game-Based Mobile Robot Simulation Environment
— Simulation is becoming an increasingly important aspect of mobile robots. As we are better able to simulate the real world, we can usefully perform more research in simulated e...
Josh Faust, Cheryl Simon, William D. Smart
ISPW
2006
IEEE
16 years 1 months ago
On Mobility of Software Processes
Abstract. In this paper, the mobility of software processes, a novel concept, is proposed. It is defined as the structural change in a software process resulting from interactions...
Mingshu Li, Qiusong Yang, Jian Zhai, Guowei Yang