Sciweavers

12333 search results - page 477 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
ENGL
2008
99views more  ENGL 2008»
15 years 7 months ago
Optimal Level of Automation in the Automotive Industry
Strong competition on the global automotive market is forcing car manufacturers rethink their strategic approach to manufacturing. In order to be competitive, companies need to man...
Igor A. Gorlach, Oliver Wessel
DATE
2004
IEEE
129views Hardware» more  DATE 2004»
15 years 10 months ago
On the Design and Verification Methodology of the Look-Aside Interface
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Moha...
COMPSAC
2009
IEEE
15 years 10 months ago
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
There is no clear distinction between service-oriented systems (SOS) and component-based systems (CBS). However, there are several characteristics that could let one consider SOS ...
Aida Causevic, Aneta Vulgarakis
SCM
1998
15 years 8 months ago
System Modeling Resurrected
Over the past few years, research into system modeling has dwindled in favor of other interests in the field of configuration management. Outside influence, in the form of the emer...
André van der Hoek, Dennis Heimbigner, Alex...
COMPSAC
2006
IEEE
16 years 29 days ago
A Pattern-Based Technique for Developing UML Models of Access Control Systems
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
Dae-Kyoo Kim, Priya Gokhale