Sciweavers

1139 search results - page 103 / 228
» Aligning Goal Models and Business Models - extended abstract
Sort
View
ICWS
2009
IEEE
16 years 3 months ago
A Policy-Based Middleware for Web Services SLA Negotiation
Negotiation of Service Level Agreements (SLAs) is very important for maintaining Quality of Service (QoS) of composite Web services-based business processes. The process of negoti...
Farhana H. Zulkernine, Patrick Martin, Chris Cradd...
WSC
2000
15 years 7 months ago
Product-mix analysis with Discrete Event Simulation
Discrete Event Simulation (DES) has been used as a design and validation tool in various production and business applications. DES can also be utilized for analyzing the product-m...
Raid Al-Aomar
ICRA
2007
IEEE
149views Robotics» more  ICRA 2007»
16 years 21 days ago
Frictional Compliance Model Development and Experiments for Snake Robot Climbing
Abstract— Intelligently utilizing the frictional contact between a robot and its environment can prevent slip, maintain balance, and provide stability during a robot’s motion. ...
Amir Shapiro, Aaron Greenfield, Howie Choset
TYPES
2004
Springer
15 years 11 months ago
A Machine-Checked Formalization of the Random Oracle Model
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
Gilles Barthe, Sabrina Tarento
ICCS
2003
Springer
15 years 11 months ago
A Compiler Approach to Performance Prediction Using Empirical-Based Modeling
Abstract. Performance understanding and prediction are extremely important goals for guiding the application of program optimizations or in helping programmers focus their efforts...
Pedro C. Diniz