1419 search results - page 210 / 284 » Notes on Formalizing Context |
99
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
125
click to vote
FM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
91
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
96
Voted
ICHIT
2009
Springer
15 years 7 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...