100 search results - page 10 / 20 » Almost ASAP Semantics: From Timed Models to Timed Implementa... |
189
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...
152
click to vote
CGO
2003
IEEE
15 years 11 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
141
Voted
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
175
Voted
WD
2010
15 years 3 months ago
2010
In this paper we propose a distributed approach to construct vicinity resource maps at each node in a delaytolerant network. The scheme uses recent encounters to estimate the avail...
183
Voted
BIS
2007
15 years 7 months ago
2007
In this work, we present a conceptual framework for deriving executable business process models from high-level, graphical business process models based on the paradigm of Service-...