6431 search results - page 805 / 1287 » Model Building by Resolution |
148
Voted
APSEC
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper presents a model-based approach to requirements engineering for reactive systems; we use an elevator controller as case study. We identify and justify two key propertie...
150
click to vote
EUROMICRO
2007
IEEE
16 years 22 days ago
2007
IEEE
Getting business stakeholders’ goals formulated clearly and project scope defined realistically increases the chance of success for any application development process. As a cons...
153
click to vote
ACISP
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Digital signatures are often proven to be secure in the random oracle model while hash functions deviate more and more from this idealization. Liskov proposed to model a ...
192
click to vote
ESAW
2007
Springer
16 years 17 days ago
2007
Springer
In the field of multiagent systems (MAS), the computational models of trust and reputation have attracted increasing interest since electronic and open environments became a reali...
174
click to vote
ISVC
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...