7202 search results - page 1104 / 1441 » Software System Engineering: A Tutorial |
191
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
160
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
Network hardware design is becoming increasingly challenging because more and more demands are put on network bandwidth and throughput requirements, and on the speed with which ne...
181
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
We introduce a new genre of user interface applications that can migrate from one machine to another, taking their user interface and application contexts with them, and continue ...
154
click to vote
UIST
1995
ACM
15 years 10 months ago
1995
ACM
Although various visualization techniques have been proposed for information retrieval tasks, most of them are based on a single strategy for viewing and navigating through the in...
169
click to vote
MSR
2010
ACM
15 years 8 months ago
2010
ACM
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...