Sciweavers

1324 search results - page 153 / 265
» Automation Controller for Operational IT Management
Sort
View
DKE
2008
135views more  DKE 2008»
13 years 9 months ago
Analyzing interacting WS-BPEL processes using flexible model generation
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...
Niels Lohmann, Peter Massuthe, Christian Stahl, Da...
ICRA
2009
IEEE
165views Robotics» more  ICRA 2009»
14 years 3 months ago
Guiding medical needles using single-point tissue manipulation
— This paper addresses the use of robotic tissue manipulation in medical needle insertion procedures to improve targeting accuracy and to help avoid damaging sensitive tissues. T...
Meysam Torabi, Kris K. Hauser, Ron Alterovitz, Vin...
OSDI
2004
ACM
14 years 9 months ago
Deploying Safe User-Level Network Services with icTCP
We present icTCP, an "information and control" TCP implementation that exposes key pieces of internal TCP state and allows certain TCP variables to be set in a safe fash...
Haryadi S. Gunawi, Andrea C. Arpaci-Dusseau, Remzi...
SOSP
2003
ACM
14 years 5 months ago
Capriccio: scalable threads for internet services
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...
J. Robert von Behren, Jeremy Condit, Feng Zhou, Ge...
RTSS
1998
IEEE
14 years 1 months ago
A Dynamic Quality of Service Middleware Agent for Mediating Application Resource Usage
High-bandwidth applications with time-dependent resource requirements demand certain resource level assurances in order to operate correctly. Quality of Service resource managemen...
Scott A. Brandt, Gary J. Nutt, Toby Berk, James E....