3456 search results - page 592 / 692 » Byte Code Engineering |
154
click to vote
SOCO
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. The ability to debug programs composed using aspect-oriented programming (AOP) techniques is critical to the adoption of AOP. Nevertheless, many AOP systems lack adequate...
190
click to vote
SPIN
2007
Springer
16 years 12 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
151
click to vote
IEEESCC
2006
IEEE
16 years 10 days ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
199
click to vote
IOLTS
2006
IEEE
16 years 9 days ago
2006
IEEE
So far, performance and reliability of circuits have been determined by worst-case characterization of silicon and environmental noise. As new deep sub-micron technologies exacerb...
191
click to vote
ISSRE
2006
IEEE
16 years 9 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...