3381 search results - page 632 / 677 » Extending Dependencies with Conditions |
IANDC
2007
14 years 10 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
SIAMSC
2008
14 years 10 months ago
2008
In this paper we introduce and analyze two augmented mixed finite element methods for a velocity-pressure-stress formulation of the stationary Stokes equations. Our approach, which...
104
click to vote
SIGMETRICS
2008
ACM
14 years 10 months ago
2008
ACM
In this paper, we study the problem of utility maximization in P2P systems, in which aggregate application-specific utilities are maximized by running distributed algorithms on P2...
105
click to vote
IJDE
2007
14 years 10 months ago
2007
Source code author identification deals with identifying the most likely author of a computer program, given a set of predefined author candidates. There are several scenarios whe...
BMCBI
2005
14 years 10 months ago
2005
Background: General protein evolution models help determine the baseline expectations for the evolution of sequences, and they have been extensively useful in sequence analysis an...