Sciweavers

3765 search results - page 670 / 753
» Formal Methods for Systems Engineering Behavior Models
Sort
View
150
Voted
COMPSAC
2010
IEEE
15 years 13 days ago
Representing and Reasoning about Web Access Control Policies
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
Gail-Joon Ahn, Hongxin Hu, Joohyung Lee, Yunsong M...
ICML
2005
IEEE
16 years 3 months ago
Object correspondence as a machine learning problem
We propose machine learning methods for the estimation of deformation fields that transform two given objects into each other, thereby establishing a dense point to point correspo...
Bernhard Schölkopf, Florian Steinke, Volker B...
JSS
2006
107views more  JSS 2006»
15 years 2 months ago
Measuring the usability of software components
The last decade marked the first real attempt to turn software development into engineering through the concepts of ComponentBased Software Development (CBSD) and Commercial Off-T...
Manuel F. Bertoa, José M. Troya, Antonio Va...
115
Voted
JOT
2008
124views more  JOT 2008»
15 years 2 months ago
Methodological Proposal for Business Process Management sustained in the use of Patterns
At the moment, enterprises require complex business models with an organizational structures, processes and systems that must be explicitly designed. The work designed by these bu...
Pedro Bonillo, Nancy Zambrano, Alecia Eleonora Aco...
SIGMETRICS
2005
ACM
120views Hardware» more  SIGMETRICS 2005»
15 years 8 months ago
Managing server energy and operational costs in hosting centers
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
Yiyu Chen, Amitayu Das, Wubi Qin, Anand Sivasubram...