Sciweavers

3943 search results - page 15 / 789
» Architecture-Level Requirements Specification
Sort
View
ENTCS
2002
48views more  ENTCS 2002»
13 years 10 months ago
Requirements, specifications, and minimal refinement
Nikos Gorogiannis, Mark Ryan
JCST
2002
69views more  JCST 2002»
13 years 10 months ago
Requirements Specifications Checking of Embedded Real-Time Software
Guoqing Wu, Fengdi Shu, Min Wang, Weiqing Chen
NCA
2005
IEEE
14 years 4 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...