2191 search results - page 311 / 439 » Aspect - A Problem For MT |
121
Voted
ACISP
1999
Springer
15 years 8 months ago
1999
Springer
The ways the threshold parameter can be modified after the setup of a secret sharing scheme is the main theme of this work. The considerations are limited to the case when there ...
141
Voted
ICTAI
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
127
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
153
click to vote
CHARME
1999
Springer
15 years 8 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
152
Voted
ECOOP
1999
Springer
15 years 8 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...