Sciweavers

3948 search results - page 145 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
100
Voted
DBSEC
2009
124views Database» more  DBSEC 2009»
14 years 11 months ago
Towards System Integrity Protection with Graph-Based Policy Analysis
Abstract. Identifying and protecting the trusted computing base (TCB) of a system is an important task, which is typically performed by designing and enforcing a system security po...
Wenjuan Xu, Xinwen Zhang, Gail-Joon Ahn
CORR
2007
Springer
140views Education» more  CORR 2007»
14 years 10 months ago
An Integrated Simulation System for Human Factors Study
It has been reported that virtual reality can be a useful tool for ergonomics study. The proposed integrated simulation system aims at measuring operator’s performance in an int...
Ying Wang, Wei Zhang, Fouad Bennis, Damien Chablat
82
Voted
CORR
2010
Springer
121views Education» more  CORR 2010»
14 years 8 months ago
MiniAgda: Integrating Sized and Dependent Types
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
Andreas Abel
102
Voted
CLEIEJ
2010
14 years 7 months ago
Mapping Process Capability Models to Support Integrated Software Process Assessments
Software process assessments have been used to verify the conformance with quality reference models or standards, usually in a context of software process improvement programs. Mo...
Marcello Thiry, Alessandra Zoucas, Leornardo Trist...
92
Voted
APN
2006
Springer
15 years 1 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer