Sciweavers

1986 search results - page 293 / 398
» An activity based costing approach to systems development an...
Sort
View
ICLP
1997
Springer
14 years 2 months ago
Non-Failure Analysis for Logic Programs
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
Saumya K. Debray, Pedro López-García...
SIGGRAPH
1996
ACM
14 years 2 months ago
Linear-Time Dynamics Using Lagrange Multipliers
Current linear-time simulation methods for articulated figures are based exclusively on reduced-coordinate formulations. This paper describes a general, non-iterative linear-time ...
David Baraff
OSDI
2004
ACM
14 years 10 months ago
ksniffer: Determining the Remote Client Perceived Response Time from Live Packet Streams
As dependence on the World Wide Web continues to grow, so does the need for businesses to have quantitative measures of the client perceived response times of their Web services. ...
David P. Olshefski, Jason Nieh, Erich M. Nahum
ICN
2009
Springer
14 years 4 months ago
CoUniverse: Framework for Building Self-Organizing Collaborative Environments Using Extreme-Bandwidth Media Applications
Using internet for media-based real-time collaboration has become widespread activity. In this paper, we present a framework called CoUniverse, designed for building realtime user...
Milos Liska, Petr Holub
BPM
2007
Springer
124views Business» more  BPM 2007»
14 years 2 months ago
SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...
Florian Gottschalk, Wil M. P. van der Aalst, Moniq...