3828 search results - page 227 / 766 » Proof-Based System Engineering Using a Virtual System Model |
197
click to vote
JUCS
2000
15 years 6 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
159
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
182
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
Many software attacks are based on injecting malicious code into a target host. This paper demonstrates the use of a wellknown technique, data tainting, to track data received fro...
170
click to vote
APSEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Almost methods in embedded software modeling take software architecture as one of the crucial parts of the design process. Since a principal role of embedded software is the inter...
186
click to vote
VW
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes an efficient method to make an individual face for animation from several possible inputs and how to use this result for a realistic talking head communication...