Sciweavers

2065 search results - page 140 / 413
» Using Architectural Models at Runtime: Research Challenges
Sort
View
MICRO
2008
IEEE
114views Hardware» more  MICRO 2008»
15 years 11 months ago
Toward a multicore architecture for real-time ray-tracing
Significant improvement to visual quality for real-time 3D graphics requires modeling of complex illumination effects like soft-shadows, reflections, and diffuse lighting intera...
Venkatraman Govindaraju, Peter Djeu, Karthikeyan S...
IFM
2010
Springer
204views Formal Methods» more  IFM 2010»
15 years 3 months ago
Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
John S. Fitzgerald, Peter Gorm Larsen, Ken Pierce,...
UML
2005
Springer
15 years 10 months ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
ENTCS
2008
92views more  ENTCS 2008»
15 years 4 months ago
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis
At the early stages of the phagocytic signalling, Rho GTP-binding proteins play a key role. With the stimulus from the cell membrane and with the help from the regulators (GEF, GA...
Luca Cardelli, Philippa Gardner, Ozan Kahramanogul...
ICDCS
2002
IEEE
15 years 9 months ago
Design of a Policy-Driven Middleware for Secure Distributed Collaboration
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
Anand R. Tripathi, Tanvir Ahmed, Richa Kumar, Shre...