Sciweavers

2057 search results - page 338 / 412
» Developing the Designer's Toolkit with Software Comprehensio...
Sort
View
INFOCOM
1991
IEEE
15 years 8 months ago
A Neural Network Approach to Routing in Multihop Radio Networks
Although the issues of routing and scheduling in packet radio networks are highly interdependent, few studies have addressed their interactions. In this paper, we address the prob...
Jeffrey E. Wieselthier, Craig M. Barnhart, Anthony...
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
15 years 1 months ago
A Dynamic Network Interdiction Problem
We present a novel dynamic network interdiction model that accounts for interactions between an interdictor deploying resources on arcs in a digraph and an evader traversing the ne...
Brian J. Lunday, Hanif D. Sherali
CHI
2006
ACM
16 years 4 months ago
Incompatible BLOCK: wonders accompanied interface
For interface design, improving user curiosity is important, as is intuitiveness and intelligibility. We think the wonder of 2D property input becoming 3D, as expected by the user...
Jun Fujiki, Taketoshi Ushiama, Kiyoshi Tomimatsu
ICFEM
2004
Springer
15 years 9 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
SAFECOMP
2007
Springer
15 years 10 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...