34 search results - page 6 / 7 » The AUTOSAR Way of Model-Based Engineering of Automotive Sys... |
SAC
2006
ACM
13 years 5 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
TASE
2009
IEEE
14 years 2 days ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
RECSYS
2009
ACM
13 years 12 months ago
2009
ACM
Short search engine queries do not provide contextual information, making it difficult for traditional search engines to understand what users are really requesting. One approach ...
CCS
2010
ACM
13 years 5 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...
BPM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In order to support business processes effectively, their implementation by a process management systems (PMS) must be as close to the real world’s processes as possib...