Sciweavers

4356 search results - page 702 / 872
» Communicating Transactions - (Extended Abstract)
Sort
View
IFIP
2005
Springer
16 years 14 hour ago
A Logic for Analysing Subterfuge in Delegation Chains
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...
Hongbin Zhou, Simon N. Foley
IFM
2005
Springer
16 years 14 hour ago
Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks
Abstract. We present an industrial project conducted at Ericsson Danmark A/S, Telebit where formal methods in the form of Coloured Petri Nets (CP-nets or CPNs) have been used for t...
Lars Michael Kristensen, Michael Westergaard, Pede...
IPSN
2005
Springer
16 years 13 hour ago
Building up to macroprogramming: an intermediate language for sensor networks
Abstract— There is widespread agreement that a higher level programming model for sensor networks is needed. A variety of models have been developed, but the community is far fro...
Ryan Newton, Arvind, Matt Welsh
ISMDA
2005
Springer
16 years 12 hour ago
Foreseeing Promising Bio-medical Findings for Effective Applications of Data Mining
Abstract. The increasing availability of automated data collection tools, database technologies and Information and Communication Technologies in biomedicine and health care have l...
Stefano Bonacina, Marco Masseroli, Francesco Pinci...
ISNN
2005
Springer
16 years 11 hour ago
A SIMD Neural Network Processor for Image Processing
Abstract. Artificial Neural Networks (ANNs) and image processing requires massively parallel computation of simple operator accompanied by heavy memory access. Thus, this type of ...
Dongsun Kim, Hyunsik Kim, Hongsik Kim, Gunhee Han,...