Sciweavers

2436 search results - page 69 / 488
» Comonadic Notions of Computation
Sort
View
128
Voted
APN
1994
Springer
15 years 7 months ago
On the Model of Computation of Place/Transition Petri Nets
Abstract. In the last few years, the semantics of Petri nets has been investigated in several different ways. Apart from the classical "token game", one can model the beh...
José Meseguer, Ugo Montanari, Vladimiro Sas...
110
Voted
CSJM
2008
88views more  CSJM 2008»
15 years 3 months ago
A zero-dimensional approach to compute real radicals
The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describ...
Silke J. Spang
146
Voted
JIIS
2008
104views more  JIIS 2008»
15 years 3 months ago
Transaction Management for Flash Media Databases in Portable Computing Environments
Flash memory is becoming a major database storage in building embedded systems or portable devices because of its non-volatile, shock-resistant, power-economic nature, and fast acc...
Siwoo Byun
135
Voted
AINA
2005
IEEE
15 years 9 months ago
Reducing Security Overhead for Mobile Networks
Security of mobile communications comes with the cost of computational overhead. Reducing the overhead in security computations is critical to ensure the overall performance of a ...
Fangguo Zhang, Yi Mu, Willy Susilo
119
Voted
FUIN
2007
95views more  FUIN 2007»
15 years 3 months ago
Compositional Systems over Reducible Networks
Abstract. In the paper two notions related to local (distributed) computations are identified and discussed. The first one is the notion of reducible graphs. A graph is reducible...
Antoni W. Mazurkiewicz