Sciweavers

964 search results - page 120 / 193
» Scenario-driven modeling and validation of requirements mode...
Sort
View
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 3 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
VTC
2007
IEEE
105views Communications» more  VTC 2007»
14 years 4 months ago
Experimental Analysis of Broadcast Reliability in Dense Vehicular Networks
Abstract—Dedicated Short Range Communications (DSRC)based communications enable novel automotive safety applications such as an Extended Electronic Brake Light or Intersection Co...
Kishore Ramachandran, Marco Gruteser, Ryokichi Oni...
ECCV
2006
Springer
14 years 1 months ago
Accurate Measurement of Cartilage Morphology Using a 3D Laser Scanner
We describe a method to accurately assess articular cartilage morphology using the three-dimensional laser scanning technology. Traditional methods to obtain ground truth for valid...
Nhon H. Trinh, Jonathan Lester, Braden C. Fleming,...
LISA
2008
14 years 13 days ago
Devolved Management of Distributed Infrastructures with Quattor
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
Stephen Childs, Marco Emilio Poleggi, Charles Loom...
ECOOP
2009
Springer
14 years 10 months ago
Fine-Grained Access Control with Object-Sensitive Roles
Role-based access control (RBAC) is a common paradigm to ensure that users have sufficient rights to perform various system operations. In many cases though, traditional RBAC does ...
Jeffrey Fischer, Daniel Marino, Rupak Majumdar, To...