2036 search results - page 215 / 408 » A generic type-and-effect system |
193
click to vote
IEEEMSP
2002
IEEE
16 years 1 days ago
2002
IEEE
—In [1, 2, 3], we have introduced a robust and secure digital signature solution for multimedia content authentication, by integrating content feature extraction, error correctio...
198
click to vote
IPPS
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper describes a generic mechanism to migrate threads in heterogeneous distributed environments. To maintain high portability and flexibility, thread migration is implement...
152
click to vote
ISSS
2002
IEEE
16 years 1 days ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
168
click to vote
ICSE
2010
IEEE-ACM
15 years 12 months ago
2010
IEEE-ACM
The architecture of software systems is known to decay if no counter-measures are taken. In order to prevent this architectural erosion, the conformance of the actual system archi...
203
click to vote
IUI
2000
ACM
15 years 11 months ago
2000
ACM
Users of complex applications need advice, assistance, and feedback while they work. We are experimenting with “adjunct” user agents that are aware of the history of interacti...