1965 search results - page 133 / 393 » On the analysis of interacting pushdown systems |
INTERACT
2007
13 years 10 months ago
2007
The use of RFID technology in HCI research is emerging. We identify its promising application in the healthcare sector by empowering the process of capturing, extracting and analyz...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
RSP
2005
IEEE
14 years 2 months ago
2005
IEEE
We present an integrated system design environment for SystemC, called SyCE. The system consists of several components for efficient analysis, verification and debugging of Syst...
ICNP
2002
IEEE
14 years 1 months ago
2002
IEEE
The Multi Exit Discriminator (MED) attribute of the Border Gateway Protocol (BGP) is widely used to implement “cold potato routing” between autonomous systems. However, the us...
STEP
2003
IEEE
14 years 2 months ago
2003
IEEE
Software patterns are a new design paradigm used to solve problems that arise when developing software within a particular context. Patterns capture the static and dynamic structu...