Sciweavers

5355 search results - page 299 / 1071
» Modules
Sort
View
152
Voted
ESAS
2007
Springer
15 years 9 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....
116
Voted
ESOP
2007
Springer
15 years 9 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 9 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
ICEBE
2006
IEEE
91views Business» more  ICEBE 2006»
15 years 9 months ago
SOA-Driven Business-Software Alignment
The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach a...
Boris Shishkov, Marten van Sinderen, Dick A. C. Qu...
ICSEA
2006
IEEE
15 years 9 months ago
A Two-Year Software Engineering M.Sc. Degree Designed Under the Bologna Declaration Principles
This paper presents and discusses the syllabus of a second cycle degree on Software Engineering in which any student that finishes any undergraduate Computing degree (Computer Eng...
João M. Fernandes, Ricardo Jorge Machado