Sciweavers

2055 search results - page 275 / 411
» Generic Model Refactorings
Sort
View
APLAS
2005
ACM
15 years 7 months ago
A Simple Semantics for Polymorphic Recursion
Abstract. Polymorphic recursion is a useful extension of HindleyMilner typing and has been incorporated in the functional programming language Haskell. It allows the expression of ...
William L. Harrison
AIRS
2005
Springer
15 years 7 months ago
Home Photo Categorization Based on Photographic Region Templates
In this paper, we propose new photo categorization which is suitable for a home photo album. To enhance the categorization, both local and global concepts of the photos are modeled...
Sang-Kyun Kim, Seungji Yang, Kyong Sok Seo, Yong M...
ATAL
2005
Springer
15 years 7 months ago
Trusted kernel-based coalition formation
We define Trusted Kernel-based Coalition Formation as a novel extension to the traditional kernel-based coalition formation process which ensures agents choose the most reliable ...
Bastian Blankenburg, Rajdeep K. Dash, Sarvapali D....
CAISE
2005
Springer
15 years 7 months ago
Service-Oriented Architectures and Mobile Services
Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed system...
Ivar Jørstad, Schahram Dustdar, Do Van Than...
88
Voted
CALCO
2005
Springer
75views Mathematics» more  CALCO 2005»
15 years 7 months ago
Parametrized Exceptions
Following the paradigm of encapsulation of side effects via monads, the Java execution mechanism has been described by the socalled Java monad, encorporating essentially stateful ...
Dennis Walter, Lutz Schröder, Till Mossakowsk...