Sciweavers

1508 search results - page 107 / 302
» Designing, Developing, and Evaluating Context-Aware Systems
Sort
View
RSP
2005
IEEE
16 years 5 hour ago
Test-Time, Run-Time, and Simulation-Time Temporal Assertions in RSP
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
RTS
2006
176views more  RTS 2006»
15 years 6 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
IEICET
2010
76views more  IEICET 2010»
15 years 4 months ago
Planar Waveguide Arrays for Millimeter Wave Systems
Design of high gain and high efficiency antennas is one of the key challenges in antenna engineering and especially in millimeter wave communication systems. Various types of plan...
Makoto Ando
JNCA
2006
114views more  JNCA 2006»
15 years 6 months ago
An evolutionary approach to prototyping pedagogical agents: from simulation to integrated system
We have developed and integrated software agents with two educational groupware systems (TeamWave Workplace and FLE), using evolutionary prototyping and empiricalbased design as d...
Anders I. Mørch, Jan A. Dolonen, Jan Eirik ...
ENTCS
2010
118views more  ENTCS 2010»
15 years 3 months ago
Systematic Refinement of Performance Models for Concurrent Component-based Systems
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
Lucia Kapová, Steffen Becker