7380 search results - page 359 / 1476 » Engineering Software Intensive Systems |
127
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
The problem of finding an approximation to a labeled Markov transition system through hyperfinite transition systems is addressed. It is shown that we can find for each countable ...
93
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
124
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
133
click to vote
AC
2003
Springer
15 years 9 months ago
2003
Springer
A completely automatic face recognition system is presented. The method works on color and gray level images: after having localized the face and the facial features, it determines...
124
click to vote
CODES
1999
IEEE
15 years 8 months ago
1999
IEEE
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...