15155 search results - page 2400 / 3031 » System Software |
209
Voted
RSP
2003
IEEE
16 years 16 days ago
2003
IEEE
— Distributed applications require specific middleware support for semantics and run-time constraints for a wide range of hardware or software configurations. However, their fu...
207
click to vote
SIGUCCS
2003
ACM
16 years 15 days ago
2003
ACM
Online training and support objects can be difficult and timeconsuming to create. Written words are often ignored by users who want someone to show them a procedure. Viewlets are ...
159
click to vote
UIST
2003
ACM
16 years 15 days ago
2003
ACM
This paper offers a solution to the mode problem in computer sketch/notetaking programs. Conventionally, the user must specify the intended "draw" or "command"...
160
click to vote
ICCSA
2003
Springer
16 years 14 days ago
2003
Springer
The solution of large-scale, nonlinear PDE-based simulations typically depends on the performance of sparse linear solvers, which may be invoked at each nonlinear iteration. We pre...
239
click to vote
ICFEM
2003
Springer
16 years 14 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...