8030 search results - page 1358 / 1606 » User Interface |
151
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
127
click to vote
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...
132
click to vote
FPGA
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a new approach to timing optimization for FPGA designs, namely incremental physical resynthesis, to answer the challenge of effectively integrating logic and p...
142
click to vote
EDBT
2006
ACM
15 years 8 months ago
2006
ACM
Abstract. We describe MIDST, an implementation of the model management operator ModelGen, which translates schemas from one model to another, for example from OO to SQL or from SQL...
138
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
The development of electronic commerce or electronic business systems (EC/EB systems) is subject to different conditions than the development of conventional software systems. Thu...