Sciweavers

2977 search results - page 428 / 596
» Programming Environments for Novices
Sort
View
ACSD
2008
IEEE
102views Hardware» more  ACSD 2008»
14 years 4 months ago
Performing causality analysis by bounded model checking
Synchronous systems can immediately react to the inputs of their environment which may lead to so-called causality cycles between actions and their trigger conditions. Systems wit...
Klaus Schneider, Jens Brandt
SMI
2008
IEEE
116views Image Analysis» more  SMI 2008»
14 years 4 months ago
Self-organizing primitives for automated shape composition
Motivated by the ability of living cells to form into specific shapes and structures, we present a new approach to shape modeling based on self-organizing primitives whose behavi...
Linge Bai, Manolya Eyiyurekli, David E. Breen
VL
2008
IEEE
122views Visual Languages» more  VL 2008»
14 years 4 months ago
Designers' natural descriptions of interactive behaviors
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
Sun Young Park, Brad A. Myers, Andrew J. Ko
SRDS
2007
IEEE
14 years 4 months ago
Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks
Sensors that operate in an unattended, harsh or hostile environment are vulnerable to compromises because their low costs preclude the use of expensive tamper-resistant hardware. ...
Yi Yang, Xinran Wang, Sencun Zhu, Guohong Cao
TASE
2007
IEEE
14 years 4 months ago
Realizing Live Sequence Charts in SystemVerilog
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...
Hai H. Wang, Shengchao Qin, Jun Sun 0001, Jin Song...