Sciweavers

3008 search results - page 73 / 602
» Mechanisms for Importing Modules
Sort
View
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 7 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
ACIIDS
2009
IEEE
215views Database» more  ACIIDS 2009»
15 years 6 months ago
Proposed Nature Inspired Self-Organized Secure Autonomous Mechanism for WSNs
The field of wireless sensor network (WSN) is an important and challenging research area today. Advancements in sensor networks enable a wide range of environmental monitoring and ...
K. Saleem, Norsheila Fisal, M. S. Abdullah, A. B. ...
WORM
2004
15 years 5 months ago
WORM vs. WORM: preliminary study of an active counter-attack mechanism
Self-propagating computer worms have been terrorizing the Internet for the last several years. With the increasing density, inter-connectivity and bandwidth of the Internet combin...
Frank Castaneda, Emre Can Sezer, Jun Xu
KI
2009
Springer
15 years 10 months ago
The Scared Robot: Motivations in a Simulated Robot Arm
This paper investigates potential effects of a motivational module on a robotic arm, which is controlled based on the biologicalinspired SURE REACH system. The motivational module...
Martin V. Butz, Gerulf K. M. Pedersen
WCRE
2003
IEEE
15 years 9 months ago
Analyzing Large Spreadsheet Programs
Although the results of spreadsheet programs are the base for very important decisions and are subject to many changes, they are only poorly documented. In this paper we introduce...
Markus Clermont