852 search results - page 164 / 171 » The design, implementation, and application of the grewpEdit... |
ICSE
2003
IEEE-ACM
14 years 22 days ago
2003
IEEE-ACM
ct Feature Oriented Programming (FOP) is a design methodology and tools for program synthesis. The goal is to specify a target program in terms of the features that it offers, and ...
SIGMOD
2010
ACM
14 years 11 days ago
2010
ACM
With the maturity of GPS, wireless, and Web technologies, increasing amounts of movement data collected from various moving objects, such as animals, vehicles, mobile devices, and...
EUROSYS
2007
ACM
14 years 4 months ago
2007
ACM
Virtual memory has been successfully used in different domains to extend the amount of memory available to applications. We have adapted this mechanism to sensor networks, where,...
LCTRTS
2010
Springer
14 years 2 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
CGO
2006
IEEE
14 years 1 months ago
2006
IEEE
The majority of security vulnerabilities published in the literature are due to software bugs. Many researchers have developed program transformation and analysis techniques to au...