1099 search results - page 202 / 220 » Using Transformation Systems for Software Maintenance and Re... |
AVI
2006
14 years 11 months ago
2006
Tables have historically played a key role in many real-time collaborative environments, often referred to as "war rooms". Today, these environments have been transforme...
PLDI
2003
ACM
15 years 2 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
93
Voted
SAFECOMP
2005
Springer
15 years 2 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
77
Voted
CC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
89
Voted
CIKM
2007
Springer
15 years 3 months ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...