3828 search results - page 430 / 766 » Proof-Based System Engineering Using a Virtual System Model |
214
click to vote
CSIE
2009
IEEE
15 years 4 months ago
2009
IEEE
Grid computing has become very popular in big and widespread scientific communities with high computing demands, like high energy physics. Computing resources are being distribute...
203
click to vote
DAC
1999
ACM
15 years 11 months ago
1999
ACM
ion model or flexible PCB solutions cannot offer a valid solution for the next millinium SoCs . James G. Dougherty, Integrated Systems Silicon LTD, Belfast, Northern Ireland ISS an...
426
click to vote
ICDE
2009
IEEE
16 years 8 months ago
2009
IEEE
The problem of automatically extracting the most interesting and relevant keyword phrases in a document has been studied extensively as it is crucial for a number of applications. ...
150
click to vote
ICRE
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper introduces an approach to multi-perspective requirements engineering (PREview) which has been designed for industrial use and discusses our practical experience in appl...
200
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...