2678 search results - page 253 / 536 » Operational Semantics of Transactions |
261
click to vote
ISJGP
2010
15 years 3 months ago
2010
A variety of modern technologies such as networks, Internet, and electronic services demand private and secure communications for a great number of everyday transactions. Security ...
172
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
156
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Building highly optimized embedded systems demands hardware/software (HW/SW) co-design. A key challenge in co-design is the design of HW/SW interfaces, which is often a ...
169
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
168
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present a framework for a distributed and very low-cost implementation of synchronization controllers and protocols for embedded multiprocessors. The proposed arc...