2943 search results - page 111 / 589 » Software Implementation of Synchronous Programs |
144
Voted
SEKE
2005
Springer
15 years 8 months ago
2005
Springer
Most design recovery approaches start from analysing source code. Nonetheless, it is very difficult to get adequate design information only depending on source code. Additional av...
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
110
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
118
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
In a software product line, the binding time of a feature is the time at which one decides to include or exclude a feature from a product. Typical binding site implementations are...
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ...