Sciweavers

3504 search results - page 340 / 701
» Computational Aspects of Equilibria
Sort
View
DSOM
2003
Springer
16 years 2 days ago
Management Challenges of Context-Aware Services in Ubiquitous Environments
Ubiquitous environments facilitate the collection of information pieces from sensors, databases, or mobile devices in order to compose the context of entities like users, places, o...
Heinz-Gerd Hegering, Axel Küpper, Claudia Lin...
167
Voted
FM
2003
Springer
112views Formal Methods» more  FM 2003»
16 years 2 days ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach
GCC
2003
Springer
16 years 2 days ago
Resource Information Management of Spatial Information Grid
Spatial Information Grid (SIG) is an infrastructure and framework which enable us to congregate and share large-scale, heterogeneous, distributed spatial resources across dynamic ...
Deke Guo, Honghui Chen, Xueshan Luo
GPCE
2003
Springer
16 years 2 days ago
SynchNet: A Petri Net Based Coordination Language for Distributed Objects
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
Reza Ziaei, Gul Agha
191
Voted
ICCBR
2003
Springer
16 years 2 days ago
Using Evolution Programs to Learn Local Similarity Measures
Abstract. The definition of similarity measures is one of the most crucial aspects when developing case-based applications. In particular, when employing similarity measures that ...
Armin Stahl, Thomas Gabel