399 search results - page 59 / 80 » Verification of System Level Model Transformations |
118
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
- In this paper, a method is presented for finding a pixel transformation function that minimizes the backlight intensity while maintaining a pre-specified image distortion level f...
139
click to vote
ESORICS
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
143
click to vote
CODES
2007
IEEE
15 years 8 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
143
Voted
IJCNN
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper argues that connectionist systems are a good approach to implement a speech understanding computational model. In this direction, we propose SUM, a Speech Understand...
141
Voted
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...