Sciweavers

4126 search results - page 468 / 826
» Relationships with other Formalisms
Sort
View
IFL
2005
Springer
16 years 9 days ago
Polytypic Syntax Tree Operations
Polytypic functional programming has the advantage that it can derive code for generic functions automatically. However, it is not clear whether it is useful for anything other tha...
Arjen van Weelden, Sjaak Smetsers, Rinus Plasmeije...
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
16 years 8 days ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
EUC
2004
Springer
16 years 5 days ago
A Collaborative and Semantic Data Management Framework for Ubiquitous Computing Environment
One fundamental task to realize the envisioned ubiquitous computing paradigm is the proper management of the data generated in this environment. The special characteristics of high...
Weisong Chen, Cho-Li Wang, Francis C. M. Lau
FMCO
2004
Springer
16 years 5 days ago
Games with Secure Equilibria
In 2-player non-zero-sum games, Nash equilibria capture the options for rational behavior if each player attempts to maximize her payoff. In contrast to classical game theory, we ...
Krishnendu Chatterjee, Thomas A. Henzinger, Marcin...
ICWE
2004
Springer
16 years 4 days ago
Semantic Capabilities for the Metrics and Indicators Cataloging Web System
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
Hernán Molina, Fernanda Papa, María ...