5255 search results - page 918 / 1051 » Formal Methods for Privacy |
150
click to vote
DASFAA
2005
IEEE
15 years 9 months ago
2005
IEEE
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
The idea of design domain specific Mother Model of IP block family as a base of modeling of system integration is presented here. A common reconfigurable Mother Model for ten diff...
116
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
— A formal methodology for the analysis of a closed loop clock distribution and active deskewing network is proposed. In this paper an active clock distribution and deskewing net...
119
click to vote
HICSS
2005
IEEE
15 years 9 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...
120
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
Printing and scanning of text documents introduces degradations to the characters which can be modeled. Interestingly, certain combinations of the parameters that govern the degra...