7103 search results - page 357 / 1421 » Program Generation and Components |
151
click to vote
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
139
click to vote
INFOCOM
2003
IEEE
15 years 9 months ago
2003
IEEE
—Wireless communications using ad hoc networks are receiving an increasing interest. The most attractive feature of ad hoc networks is the flexibility. The network is set up by ...
113
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
133
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
In reverse engineering, parsing may be partially done to extract lightweight source models. Parsing code containing preprocessing directives, syntactical errors and embedded langu...
109
click to vote
SEC
2008
15 years 5 months ago
2008
A particular type of spyware which uses the user's events covertly, such as keyloggers and password stealers, has become a big threat to Internet users. Due to the prevalence ...