727 search results - page 114 / 146 » ads 2004 |
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
LCTRTS
2004
Springer
14 years 1 months ago
2004
Springer
While concurrency in embedded systems is most often supplied by real-time operating systems, this approach can be unpredictable and difficult to debug. Synchronous concurrency, i...
LSO
2004
Springer
14 years 1 months ago
2004
Springer
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
MCS
2004
Springer
14 years 1 months ago
2004
Springer
The ECOC framework provides a powerful and popular method for solving multiclass problems using a multitude of binary classifiers. We had recently introduced the Binary Hierarchica...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
This paper proposes a way to realize the idea of calm computing by adding a dynamic task model into the pervasive computing environment. This task model contains information about...