Sciweavers

3463 search results - page 275 / 693
» Modeling and executing master-worker applications in compone...
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
When Role Models Have Flaws: Static Validation of Enterprise Security Policies
Modern multiuser software systems have adopted RoleBased Access Control (RBAC) for authorization management. This paper presents a formal model for RBAC policy validation and a st...
Marco Pistoia, Stephen J. Fink, Robert J. Flynn, E...
ICIW
2009
IEEE
16 years 1 months ago
A Model-Driven Approach for Monitoring Business Performance in Web Service Compositions
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
Christof Momm, Michael Gebhart, Sebastian Abeck
ITNG
2010
IEEE
15 years 11 months ago
Applying Semantic Web Techniques to Reservoir Engineering: Challenges and Experiences from Event Modeling
—In reservoir engineering domain experts deal with many tasks and operations, ranging from reservoir simulation to well maintenance scheduling, with the goal of maximizing oil pr...
Tao Zhu, Amol Bakshi, Viktor K. Prasanna, Karthik ...
HICSS
2009
IEEE
122views Biometrics» more  HICSS 2009»
16 years 1 months ago
Applying a ThinkLet- and ThinXel-Based Group Process Modeling Language: A Prototype of a Universal Group Support System
Group Support Systems (GSS) can improve the productivity of Group Work by offering a variety of tools to assist a virtual group across geographical distances. Experience shows tha...
Stefan Werner Knoll, Martin Hörning, Graham H...
TROB
2002
116views more  TROB 2002»
15 years 6 months ago
Visual servoing via navigation functions
Abstract-- This paper presents a framework for visual servoing that guarantees convergence to a visible goal from almost every initially visible configuration while maintaining ful...
Noah J. Cowan, Joel Weingarten, Daniel E. Koditsch...