13706 search results - page 2643 / 2742 » Information Problems in Information Society |
184
click to vote
SIGCOMM
1998
ACM
15 years 10 months ago
1998
ACM
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...
169
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Understanding large software systems is difficult. Traditionally, automated tools are used to assist program understanding. However, the representations constructed by these tool...
156
click to vote
ECOOP
1998
Springer
15 years 10 months ago
1998
Springer
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
137
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
Technology-independenttimingoptimizationis animportantproblem in logic synthesis. Although many promising techniques have been proposed in the past, unfortunately they are quite s...
187
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...