Sciweavers

3943 search results - page 15 / 789
» Architecture-Level Requirements Specification
Sort
View
ENTCS
2002
48views more  ENTCS 2002»
15 years 1 months ago
Requirements, specifications, and minimal refinement
Nikos Gorogiannis, Mark Ryan
JCST
2002
69views more  JCST 2002»
15 years 1 months ago
Requirements Specifications Checking of Embedded Real-Time Software
Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen
NCA
2005
IEEE
15 years 7 months ago
Providing Hard Real-Time Guarantees in Context-Aware Applications: Challenges and Requirements
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
Malika Boulkenafed, Barbara Hughes, René Me...