Sciweavers

2433 search results - page 271 / 487
» Power laws in software
Sort
View
FOSSACS
2005
Springer
16 years 4 days ago
Foundations of Web Transactions
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
Cosimo Laneve, Gianluigi Zavattaro
164
Voted
IMR
2004
Springer
15 years 12 months ago
MSTK - A Flexible Infrastructure Library for Developing Mesh Based Applications
MSTK is a powerful framework for low-level creation and manipulation of unstructured meshes. MSTK is not a mesh generator but it can be used to develop advanced mesh generation so...
Rao V. Garimella
DEXAW
2003
IEEE
99views Database» more  DEXAW 2003»
15 years 12 months ago
A Coloured Petri Net Trust Model
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
Peter Lory
VISUALIZATION
1999
IEEE
15 years 11 months ago
Accelerating 3D Convolution Using Graphics Hardware
Many volume filtering operations used for image enhancement, data processing or feature detection can be written in terms of threedimensional convolutions. It is not possible to y...
Matthias Hopf, Thomas Ertl
CSFW
2010
IEEE
15 years 10 months ago
On Protection by Layout Randomization
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
Martín Abadi, Gordon D. Plotkin