Sciweavers

3943 search results - page 282 / 789
» Architecture-Level Requirements Specification
Sort
View
COMCOM
1998
132views more  COMCOM 1998»
15 years 6 months ago
A distributed object platform infrastructure for multimedia applications
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
Geoff Coulson, Michael Clarke
AAMAS
1999
Springer
15 years 6 months ago
Verifying Compliance with Commitment Protocols
Interaction protocols are specific, often standard, constraints on the behaviors of autonomous agents in a multiagent system. Protocols are essential to the functioning of open sys...
Mahadevan Venkatraman, Munindar P. Singh
MVA
2002
254views Computer Vision» more  MVA 2002»
15 years 6 months ago
Retinal Blood Vessel Extraction by Using Multi-resolution Matched Filtering and Directional Region Growing Segmentation
Anew method to extract retinal blood vessels from a colour fundus image is described. Digital colour h d u s images are contrast enhanced in order to obtain sharp edges. The green...
Mitsutoshi Himaga, David Usher, James F. Boyce
PE
2002
Springer
132views Optimization» more  PE 2002»
15 years 6 months ago
Performance evaluation with temporal rewards
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
Jeroen Voeten
TSE
1998
85views more  TSE 1998»
15 years 6 months ago
A Methodology for Feature Interaction Detection in the AIN 0.1 Framework
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
Fuchun Joseph Lin, Hong Liu, Abhijit Ghosh