Sciweavers

858 search results - page 22 / 172
» A Vision for International Standardization in Software and S...
Sort
View
APSEC
2008
IEEE
14 years 2 months ago
Behavioral Specification of Real-Time Requirements
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-base...
Seyed Morteza Babamir, Faezeh Sadat Babamir
ASWSD
2004
Springer
14 years 1 months ago
Automotive Software: A Challenge and Opportunity for Model-Based Software Development
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...
Gabor Karsai
IESA
2007
13 years 10 months ago
A Security Framework for Smart Ubiquitous Industrial Resources
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
Anton Naumenko, Artem Katasonov, Vagan Y. Terziyan
EUROSYS
2006
ACM
14 years 3 days ago
Context-specific middleware specialization techniques for optimizing software product-line architectures
Product-line architectures (PLA)s are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts,...
Arvind S. Krishna, Aniruddha S. Gokhale, Douglas C...
CODES
2007
IEEE
14 years 12 days ago
A computational reflection mechanism to support platform debugging in SystemC
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
Bruno Albertini, Sandro Rigo, Guido Araujo, Cristi...