Sciweavers

2678 search results - page 146 / 536
» Operational Semantics of Transactions
Sort
View
ICECCS
1995
IEEE
94views Hardware» more  ICECCS 1995»
15 years 8 months ago
Requirements for client/server performance modeling
Design, performance management, and capacity planning of client/server applications in the commercial enterprise depends on the ability to model these distributed applications at ...
Joseph J. Martinka
ASM
2010
ASM
15 years 6 months ago
Applying the B Method for the Rigorous Development of Smart Card Applications
Abstract. Smart Card applications usually require reliability and security to avoid incorrect operation or access violation in transactions and corruption or undue access to stored...
Bruno Emerson Gurgel Gomes, David Déharbe, ...
SEBD
2003
112views Database» more  SEBD 2003»
15 years 6 months ago
A temporal data model and system architecture for the management of normative texts
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
Fabio Grandi, Federica Mandreoli, Paolo Tiberio, M...
CALCO
2009
Springer
158views Mathematics» more  CALCO 2009»
15 years 11 months ago
Coalgebraic Symbolic Semantics
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
Filippo Bonchi, Ugo Montanari
ISNN
2005
Springer
15 years 10 months ago
Self-organizing Map Analysis of Conceptual and Semantic Relations for Noun
In this paper, we analyzed self-organizing map of conceptual and semantic relations for noun, discussing the semantic distinction between conceptual nouns for natural language proc...
Minghu Jiang, Chengqing Zong, Beixing Deng