Sciweavers

1721 search results - page 121 / 345
» The fundamentals of hybrid systems modelers
Sort
View
BNCOD
2009
97views Database» more  BNCOD 2009»
15 years 7 months ago
An XML-Based Model for Supporting Context-Aware Query and Cache Management
Abstract. Database systems (DBSs) can play an essential role in facilitating the query and cache management in context-aware mobile information systems (CAMIS). Two of the fundamen...
Essam Mansour, Hagen Höpfner
ISJ
2002
120views more  ISJ 2002»
15 years 6 months ago
A framework for creating hybrid-open source software communities
The open source software (OSS) model is a fundamentally new and revolutionary way to develop software. The success of the OSS model is also setting the stage for a structural chang...
Srinarayan Sharma, Vijayan Sugumaran, Balaji Rajag...
EPEW
2009
Springer
16 years 29 days ago
Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation
Abstract. RAID systems are ubiquitously deployed in storage environments, both as standalone storage solutions and as fundamental components of virtualised storage platforms. Accur...
Abigail S. Lebrecht, Nicholas J. Dingle, William J...
TII
2008
98views more  TII 2008»
15 years 6 months ago
Formal Methods for Systems Engineering Behavior Models
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
Charlotte Seidner, Olivier H. Roux
CHI
2011
ACM
14 years 10 months ago
More than skin deep: measuring effects of the underlying model on access-control system usability
In access-control systems, policy rules conflict when they prescribe different decisions (ALLOW or DENY) for the same access. We present the results of a user study that demonstr...
Robert W. Reeder, Lujo Bauer, Lorrie Faith Cranor,...