275 search results - page 8 / 55 » Checking Framework Interactions with Relationships |
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
DATE
2003
IEEE
14 years 29 days ago
2003
IEEE
Reflection and automated introspection of a design in system level design frameworks are seen as necessities for the CAD tools to manipulate the designs within the tools. These f...
IJSR
2010
13 years 6 months ago
2010
Abstract It has been recognized that long-term effects exist in the interaction with robotic technologies. Despite this recognition, we still know little about how the temporal eff...
ACMICEC
2007
ACM
13 years 11 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
DAGSTUHL
2006
13 years 9 months ago
2006
Abstract Recently, languages such as BPEL and CDL have been proposed to describe the way services can interact from a behavioral perspective. The emergence of these languages heral...