883 search results - page 3 / 177 » The Semantics of Verilog Using Transition System Combinators |
ENTCS
2007
13 years 5 months ago
2007
Action Labelled transition systems (LTS) have proved to be a fundamental model for describing and proving properties of concurrent systems. In this paper,Multiple Labelled Transit...
CHI
2008
ACM
14 years 5 months ago
2008
ACM
Focus + context techniques such as fisheye lenses are used to navigate and manipulate objects in multi-scale worlds. They provide in-place magnification of a region without requir...
SEC
2008
13 years 6 months ago
2008
The Session Initiation Protocol (SIP) has been used widely for Voice over IP (VoIP) service because of its potential advantages, economical efficiency and call setup simplicity. Ho...
VMCAI
2009
Springer
14 years 1 days ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
ENTCS
2007
13 years 5 months ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...