7209 search results - page 349 / 1442 » Software Engineering for Multi-Agent Systems |
92
Voted
COMPSAC
2006
IEEE
15 years 6 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...
104
click to vote
AC
2003
Springer
15 years 6 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...
92
Voted
CODES
1999
IEEE
15 years 5 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...
105
click to vote
APSEC
1998
IEEE
15 years 5 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
81
Voted
CODES
2001
IEEE
15 years 4 months ago
2001
IEEE
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...