Sciweavers

1456 search results - page 101 / 292
» DYANA: An Environment for Embedded System Design and Analysi...
Sort
View
IJSTM
2000
117views more  IJSTM 2000»
15 years 6 months ago
Architectural design support for business process and business network engineering
Abstract: Concurrent enterprises and networks of business processes cannot function without each other. Cooperation in networks allows for faster reaction to business opportunities...
Henry M. Franken, René Bal, Harmen van den ...
CANDC
2009
ACM
15 years 4 months ago
Designing to support reasoned imagination through embodied metaphor
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
Alissa Nicole Antle, Greg Corness, Saskia Bakker, ...
LCTRTS
2010
Springer
16 years 1 months ago
Modeling structured event streams in system level performance analysis
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai ...
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
15 years 11 months ago
Integrated end-to-end timing analysis of networked AUTOSAR-compliant systems
—As Electronic Control Units (ECUs) and embedded software functions within an automobile keep increasing in number, the scale and complexity of automotive embedded systems is gro...
Karthik Lakshmanan, Gaurav Bhatia, Ragunathan Rajk...
FASE
2008
Springer
15 years 8 months ago
Automated Analysis of Permission-Based Security Using UMLsec
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
Jan Jürjens, Jörg Schreck, Yijun Yu