Sciweavers

423 search results - page 40 / 85
» Specifying Strategies for Exercises
Sort
View
FASE
2000
Springer
15 years 1 months ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
SERVICES
2008
85views more  SERVICES 2008»
14 years 11 months ago
Early Aspects for Non-Functional Properties in Service Oriented Business Processes
In Service Oriented Architecture, each application is often designed with a set of reusable services and a business process. In order to retain the reusability of services, it is ...
Hiroshi Wada, Junichi Suzuki, Katsuya Oba
DMDW
2003
134views Management» more  DMDW 2003»
14 years 11 months ago
Using Design Guidelines to Improve Data Warehouse Logical Design
Data Warehouse-(DW) logical design often start with a conceptual schema and then generates relational structures. Applying this approach implies to cope with two main aspects: (i) ...
Verónika Peralta, Raul Ruggia
CN
2002
124views more  CN 2002»
14 years 9 months ago
An efficient traffic control scheme for TCP over ATM GFR services
In ATM networks, the guaranteed frame rate (GFR) service category has been defined to support user applications which are neither able to specify the range of traffic parameter va...
Chia-Tai Chan, Pi-Chung Wang, Yaw-Chung Chen
CORR
2010
Springer
59views Education» more  CORR 2010»
14 years 8 months ago
Refinement and Verification of Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmere...