1738 search results - page 161 / 348 » Local Consistency and SAT-Solvers |
CASES
2004
ACM
14 years 2 months ago
2004
ACM
New heterogeneous multiprocessor platforms are emerging that are typically composed of loosely coupled components that exchange data using programmable interconnections. The compon...
EWSN
2010
Springer
14 years 10 days ago
2010
Springer
Abstract. Wireless sensor network protocols and applications, including those used for localization, topology control, link scheduling, and link quality estimation, make extensive ...
APCCM
2008
13 years 12 months ago
2008
The work presented in this paper targets the software integration on the level of business process models. The goal is to create the behavioural description of an integrated syste...
DAIS
2006
13 years 11 months ago
2006
To maintain availability and responsiveness, mobile applications sharing data often work on their own copy and transmit local changes to other participants. Existing systems for re...
IASTEDSEA
2004
13 years 11 months ago
2004
As software systems evolve over a series of releases, it becomes important to know which components show repeated need for maintenance. Deterioration of a single component manifes...