1230 search results - page 9 / 246 » On Abstraction in Scenarios |
DAGSTUHL
2003
13 years 8 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
GLOBECOM
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—This paper aims at validation of an iterative receiver for Multiple-Input Multiple-Output with Orthogonal Frequency Division Multiplexing (MIMO-OFDM) systems using real-...
EON
2008
13 years 9 months ago
2008
Abstract. The Semantic Web Service Challenge is one of the major initiative dedicated to work on Semantic Web Service (SWS) discovery and selection. It represents an effective mann...
HCI
2001
13 years 8 months ago
2001
Usability testing typically focuses on methodology and metrics, while the specific interactions being tested are chosen in an ad hoc way. This paper demonstrates a framework for o...
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...