2276 search results - page 254 / 456 » Aspect-Oriented Requirements Engineering for Component-Based... |
150
Voted
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
125
click to vote
ISSTA
2000
ACM
15 years 9 months ago
2000
ACM
This paper presents three sets of classification schemes for processes, properties, and transitions that can be used to assist in the analysis of real-time systems. These classifi...
175
Voted
CBSE
2011
Springer
14 years 4 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
150
click to vote
MOMPES
2006
IEEE
15 years 10 months ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
150
click to vote
ICSM
2008
IEEE
15 years 11 months ago
2008
IEEE
International standardization in information representation, organization, and dissemination are meant to eliminate the discrepancies in communication among participating organiza...