Sciweavers

2253 search results - page 293 / 451
» The ComFoRT Reasoning Framework
Sort
View
SOCO
2011
Springer
13 years 5 months ago
A novel approach to annotating web service based on interface concept mapping and semantic expansion
With the rapid development of web service technology in these years, traditional standards have been matured during the process of service registry and discovery. However, it is di...
Guobing Zou, Yang Xiang, Yanglan Gan, Yixin Chen
EMISAIJ
2010
13 years 5 months ago
The Proviado Access Control Model for Business Process Monitoring Components
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...
Manfred Reichert, Sarita Bassil, Ralph Bobrik, Tho...
SIAMMAX
2010
145views more  SIAMMAX 2010»
13 years 4 months ago
Adaptive First-Order Methods for General Sparse Inverse Covariance Selection
In this paper, we consider estimating sparse inverse covariance of a Gaussian graphical model whose conditional independence is assumed to be partially known. Similarly as in [5],...
Zhaosong Lu
TCAD
2010
121views more  TCAD 2010»
13 years 4 months ago
Translation Validation of High-Level Synthesis
The growing complexity of systems and their implementation into silicon encourages designers to look for model designs at higher levels of abstraction and then incrementally build ...
Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
TII
2010
166views Education» more  TII 2010»
13 years 4 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis