11168 search results - page 96 / 2234 » Abstract State Processes |
153
click to vote
JISE
2008
15 years 4 months ago
2008
abstract the state-based behavior of AOP program with the consideration of the interactions between the base modules and aspects. Based on the model, test cases can be derived so a...
152
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Guided Abstraction Simplification Roberto Giacobazzi1 and Francesco Ranzato2 1 University of Verona, Italy 2 University of Padova, Italy Abstract. In static analysis, approximation...
153
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
241
click to vote
CSUR
2011
14 years 8 months ago
2011
high-level programming abstractions, capable of simplifying the programming chore without sacrificing efficiency, has been long recognized and several solutions have been hitherto...
138
click to vote
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—In the next-generation Internet architecture, more functionality will be placed in the data path of routers in the form of “services” and other packet processing features. T...