10159 search results - page 523 / 2032 » System Design Validation Using Formal Models |
154
click to vote
ICEGOV
2009
ACM
15 years 4 months ago
2009
ACM
Procurement for e-Government is an important part of activities which are similar to the nature of B2B. That is usually characterized by bulk volumes with complex variables, burea...
160
click to vote
DEXAW
2003
IEEE
15 years 11 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
192
click to vote
FPL
2004
Springer
15 years 10 months ago
2004
Springer
A recent trend towards integrating FPGAs with many heterogeneous components, such as memory systems, dedicated multipliers, etc., has made them an attractive option for implementin...
171
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
We present a novel model for validating and improving the content and structure organization of a website. This model studies the website as a graph and evaluates its interconnect...
161
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
Until recently, issues in image retrieval have been handled in DBMSs and in computer vision as separate research works. Nowadays, the trend is towards integrating the two approach...