4731 search results - page 722 / 947 » Securing Interactive Programs |
182
click to vote
TOOLS
2008
IEEE
16 years 29 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...
181
click to vote
SAMOS
2007
Springer
16 years 21 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...
171
click to vote
SEW
2006
IEEE
16 years 18 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...
166
click to vote
ACMACE
2006
ACM
16 years 17 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...
200
click to vote
PADS
2006
ACM
16 years 16 days ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...