Sciweavers

1746 search results - page 184 / 350
» Residual for Component Specifications
Sort
View
FTDCS
2004
IEEE
15 years 8 months ago
Towards Supporting Fine-Grained Access Control for Grid Resources
The heterogeneous nature and independent administration of geographically dispersed resources in Grid, demand the need for access control using fine-grained policies. In this pape...
Elisa Bertino, Pietro Mazzoleni, Bruno Crispo, Swa...
164
Voted
FOIKS
2006
Springer
15 years 8 months ago
Consistency Checking Algorithms for Restricted UML Class Diagrams
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
Ken Kaneiwa, Ken Satoh
FORMATS
2006
Springer
15 years 8 months ago
Concurrent Semantics Without the Notions of State or State Transitions
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...
Edward A. Lee
156
Voted
GCC
2006
Springer
15 years 8 months ago
Amadeus: A Holistic Service-oriented Environment for Grid Workflows
In this paper we present Amadeus, which is a holistic service-oriented environment for QoS-aware Grid workflows. Amadeus considers user's requirements, in terms of QoS constr...
Ivona Brandic, Sabri Pllana, Siegfried Benkner
ITS
2000
Springer
156views Multimedia» more  ITS 2000»
15 years 8 months ago
A Coached Collaborative Learning Environment for Entity-Relationship Modeling
Abstract. We discuss the design of an agent for coaching collaborative learning in a distance learning context. The learning domain is entity-relationship modeling, a domain in whi...
María de los Angeles Constantino-Gonz&aacut...