Sciweavers

77016 search results - page 74 / 15404
» Modeling
Sort
View
FASE
2004
Springer
15 years 5 months ago
Modeling Role-Based Access Control Using Parameterized UML Models
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...
Dae-Kyoo Kim, Indrakshi Ray, Robert B. France, Na ...
ECMDAFA
2010
Springer
135views Hardware» more  ECMDAFA 2010»
15 years 4 months ago
Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools
Successful application of model-driven engineering approaches requires interchanging a lot of relevant data among the tool ecosystem employed by an engineering team (e.g., requirem...
Hugo Bruneliere, Jordi Cabot, Cauê Clasen, F...
SIGCOMM
1998
ACM
15 years 4 months ago
Modeling TCP Throughput: A Simple Model and Its Empirical Validation
In this paper we develop a simple analytic characterization of the steady state throughput, as a function of loss rate and round trip time for a bulk transfer TCP flow, i.e., a ï...
Jitendra Padhye, Victor Firoiu, Donald F. Towsley,...
EPEW
2006
Springer
15 years 3 months ago
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
Manuela L. Bujorianu, Marius C. Bujorianu
VLDB
1995
ACM
59views Database» more  VLDB 1995»
15 years 3 months ago
Towards a Cooperative Transaction Model - The Cooperative Activity Model
With the emergence of cooperative applications it turned out that traditional transaction concepts are not suitable for these scenarios. Isolation of transactions, as guaranteed b...
Marek Rusinkiewicz, Wolfgang Klas, Thomas Tesch, J...