2501 search results - page 336 / 501 » Obligations and Their Interaction with Programs |
180
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
177
click to vote
SAMOS
2007
Springer
16 years 19 days ago
2007
Springer
— Interrupt-based programming is widely used for interfacing a processor with peripherals and allowing software threads to interact. Many hardware/software architectures have bee...
172
click to vote
ISSRE
2006
IEEE
16 years 16 days ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
171
click to vote
SEW
2006
IEEE
16 years 16 days ago
2006
IEEE
It is widely held that programming language extensions that support separation of concerns and that are also integrative benefit development, maintenance and reuse of software de...
165
click to vote
ACMACE
2006
ACM
16 years 15 days ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...