Sciweavers

2558 search results - page 265 / 512
» Model Composition Contracts
Sort
View
ICMLC
2005
Springer
15 years 10 months ago
Adaptive Online Multi-stroke Sketch Recognition Based on Hidden Markov Model
This paper presents a novel approach for adaptive online multi-stroke sketch recognition based on Hidden Markov Model (HMM). The method views the drawing sketch as the result of a ...
Zhengxing Sun, Wei Jiang, Jianyong Sun
TGC
2005
Springer
15 years 10 months ago
A Practical Formal Model for Safety Analysis in Capability-Based Systems
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...
Fred Spiessens, Peter Van Roy
137
Voted
MSE
2002
IEEE
122views Hardware» more  MSE 2002»
15 years 10 months ago
Modeling and Analyzing SMIL Documents in SAM
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
Huiqun Yu, Xudong He, Shu Gao, Yi Deng
ICIW
2007
IEEE
15 years 9 months ago
A Refined Goal Model for Semantic Web Services
The idea of service orientation envisions dynamic detection and execution of suitable Web services for solving a particular request. Most realization approaches pay only little att...
Michael Stollberg, Barry Norton
EEE
2004
IEEE
15 years 8 months ago
Model-Driven Web Services Development
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
Roy Grønmo, David Skogan, Ida Solheim, Jon ...