Sciweavers

3533 search results - page 395 / 707
» Information theory and Thermodynamics
Sort
View
ASM
2003
ASM
15 years 12 months ago
Privacy, Abstract Encryption and Protocols: An ASM Model - Part I
d in Abstract State Machines – Advances in Theory and Applications: 10th International Workshop, ASM 2003, volume 2589 of LNCS, Springer–Verlag. Abstract Encryption and Protoco...
Dean Rosenzweig, Davor Runje, Neva Slani
CAISE
2003
Springer
15 years 12 months ago
Towards a Distributed Pedagogical Simulator
The use of simulation for a pedagogical purpose is very interesting. One of the essential repercussions of the construction of a pedagogical simulator is the perennisation of the â...
Hana Bensalem, Tahar Bensebaa
DGCI
2003
Springer
15 years 12 months ago
Shape Preserving Digitization of Ideal and Blurred Binary Images
In order to make image analysis methods more reliable it is important to analyse to what extend shape information is preserved during image digitization. Most existing approaches t...
Ullrich Köthe, Peer Stelldinger
EGOV
2003
Springer
15 years 12 months ago
South African e-Government Policy and Practices: A Framework to Close the Gap
E-government in South Africa has a particularly important historical and social context due to the legacy of apartheid. As a result, a ten year egovernment implementation horizon h...
Jonathan Trusler
ICLP
2003
Springer
15 years 12 months ago
Concurrency, Time, and Constraints
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
Frank D. Valencia