4609 search results - page 427 / 922 » Automatic Generation of Sigma-Protocols |
147
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
138
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Manipulative operations of rheological objects can befound in many industrial fields such as food industry and medical product industry. Automatic operations of rheological object...
175
click to vote
HT
1999
ACM
15 years 11 months ago
1999
ACM
This paper presents the analysis and modelling of the literature of hypertext based on the ACM Hypertext conference series. This work explores a new paradigm of organising and acc...
168
click to vote
CSMR
1998
IEEE
15 years 11 months ago
1998
IEEE
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
170
click to vote
CODES
1997
IEEE
15 years 11 months ago
1997
IEEE
The Pia hardware-software co-simulator provides substantial speedups over traditional co-simulation methods by permitting dynamic changes in the level of detail when simulating co...