Sciweavers

333 search results - page 54 / 67
» Using association rules to study the co-evolution of product...
Sort
View
RE
2001
Springer
14 years 1 days ago
Virtual Environment Modeling for Requirements Validation of High Consequence Systems
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
Victor L. Winter, Dejan Desovski, Bojan Cukic
ICECCS
1998
IEEE
161views Hardware» more  ICECCS 1998»
13 years 12 months ago
A Method and a Technique to Model and Ensure Timeliness in Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
Christophe Aussaguès, Vincent David
LREC
2010
171views Education» more  LREC 2010»
13 years 9 months ago
The Kachna L1/L2 Picture Replication Corpus
This paper presents the Kachna Corpus of Spontaneous Speech, in which ten Czech and ten Norwegian speakers were recorded both in their native language and in English. The dialogue...
Helena Spilková, Daniel Brenner, Anton &Oum...
AHSWN
2006
79views more  AHSWN 2006»
13 years 7 months ago
Re-routing Instability in IEEE 802.11 Multi-hop Ad-hoc Networks
TCP throughput instability is a well-known phenomenon in IEEE 802.11 multi-hop ad-hoc networks. However, we find that this problem is not restricted to TCP traffic only, but also ...
Ping Chung Ng, Soung Chang Liew
JIKM
2008
168views more  JIKM 2008»
13 years 7 months ago
A Framework for Developing and Aligning a Knowledge Management Strategy
Businesses today, including non-profits, recognise the need for knowledge management (KM). KM may require new strategies and goals before it can be implemented, or it can be aligne...
Deborah E. Swain, Jean-Pierre Booto Ekionea