4722 search results - page 32 / 945 » Encoding Program Executions |
APSEC
2008
IEEE
14 years 3 months ago
2008
IEEE
Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process a...
IV
2002
IEEE
14 years 1 months ago
2002
IEEE
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
IJCAI
2001
13 years 10 months ago
2001
In the future, webs of unmanned air and space vehicles will act together to robustly perform elaborate missions in uncertain environments. We coordinate these systems by introduci...
ICSM
2007
IEEE
14 years 3 months ago
2007
IEEE
Because of software’s increasing dynamism and the heterogeneity of execution environments, the results of in-house testing and maintenance are often not representative of the wa...