481 search results - page 94 / 97 » Differential symbolic execution |
107
click to vote
SIGSOFT
2010
ACM
14 years 4 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
107
click to vote
W2GIS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A review is provided of some database and representation issues involved in the implementation of geographic information systems (GIS). The increasing popularity of web-b...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
— To proactively defend against intruders from readily jeopardizing single-path data sessions, we propose a distributed secure multipath solution to route data across multiple pa...
ITCC
2003
IEEE
15 years 3 months ago
2003
IEEE
Real-time applications often have mixed hard and soft deadlines, can be preempted subject to the cost of context switching or the restart of computation, and have various data dep...
ER
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The process industries (chemicals, food, oil, ...) are characterized by - continuous or batch -- processes of material transformation. The design of such processes, and t...