1471 search results - page 14 / 295 » Composing concurrency control |
IEEESCC
2007
IEEE
15 years 3 months ago
2007
IEEE
— Integrated systems are composed of components that exchange information (i.e., interoperate [5]). These components include Graphical User Interface (GUI) APplications (GAPs) an...
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
SMC
2007
IEEE
15 years 3 months ago
2007
IEEE
— In this paper we present a performance evaluation of interpreted and centralized implementation techniques of Petri nets. These implementation techniques allow the translation ...
FLAIRS
2004
14 years 11 months ago
2004
Nobody would deny that music may evoke deep and profound emotions. In this paper, we present a perceptual music composition system that aims at the controlled manipulation of a us...
FUIN
2008
14 years 9 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...