Sciweavers

770 search results - page 50 / 154
» Abstract Yourself With Modules
Sort
View
119
Voted
ESAS
2007
Springer
15 years 6 months ago
Detecting Node Compromise in Hybrid Wireless Sensor Networks Using Attestation Techniques
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...
Christoph Krauß, Frederic Stumpf, Claudia M....
90
Voted
ESOP
2007
Springer
15 years 6 months ago
Principal Type Schemes for Modular Programs
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
Derek Dreyer, Matthias Blume
PADL
2007
Springer
15 years 6 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond
94
Voted
IRI
2006
IEEE
15 years 6 months ago
Modeling methodology for component reuse and system integration for hurricane loss projection application
Hurricanes are one of the deadliest and perilous natural calamities on the face of earth having a severe impact both on the lives of the people and economy of a nation. Attempts h...
Kasturi Chatterjee, Khalid Saleem, Na Zhao, Min Ch...
IWDW
2005
Springer
15 years 6 months ago
Security of DM Quantization Watermarking Schemes: A Practical Study for Digital Images
Abstract. In this paper, the security of Dither Modulation Quantization Index Modulation schemes for digital images is analyzed. Both pixel and DCT coefficient quantization schemes...
Patrick Bas, Jarmo Hurri