Sciweavers

3521 search results - page 468 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
SOCASE
2009
Springer
15 years 10 months ago
Business Modeling via Commitments
Abstract. Existing computer science approaches to business modeling offer lowstractions such as data and control flows, which fail to capture the business intent underlying the in...
Pankaj R. Telang, Munindar P. Singh
ICSM
2008
IEEE
15 years 10 months ago
Dynamic slicing of multithreaded programs for race detection
Prior work has shown that computing dynamic slices of erroneous program values can greatly assist in locating the root cause of erroneous behavior by identifying faulty statements...
Sriraman Tallam, Chen Tian, Rajiv Gupta
ACIVS
2008
Springer
15 years 10 months ago
Face Recognition Using Parabola Edge Map
Several applications such as access control, behaviour observation and videoconferencing require a real-time method for face recognition. We propose to represent faces with parabol...
Francis Deboeverie, Peter Veelaert, Kristof Teelen...
105
Voted
DATE
2007
IEEE
127views Hardware» more  DATE 2007»
15 years 10 months ago
A calculator for Pareto points
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
Marc Geilen, Twan Basten
ICNSC
2007
IEEE
15 years 10 months ago
Analysis of a Simple Feedback Scheme for Error Correction over a Lossy Network
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
Oscar Flardh, Carlo Fischione, Karl Henrik Johanss...