7064 search results - page 111 / 1413 » From States to Histories |
BTW
2007
Springer
15 years 3 months ago
2007
Springer
: The availability of versioned text collections such as the Internet Archive opens up opportunities for time-aware exploration of their contents. In this paper, we propose time-tr...
SIGSOFT
2007
ACM
16 years 19 days ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
In model-driven software development, while scenariobased models are closer to distributed system requirements, state-based models are suitable for code generation. Our tool ‘Fo...
AUTOMOTIVEUI
2009
ACM
15 years 6 months ago
2009
ACM
Driving a vehicle is a task affected by an increasing number and a rising complexity of Driver Assistance Systems (DAS) resulting in a raised cognitive load of the driver, and in...
INFOCOM
1999
IEEE
15 years 4 months ago
1999
IEEE
Hosts providing important network services such as HTTP and FTP incur a per-connection memory load from TCP that can adversely affect their connection rate and throughput. The mem...