Sciweavers

1792 search results - page 38 / 359
» Requirements Capture with RCAT
Sort
View
ICC
2007
IEEE
119views Communications» more  ICC 2007»
14 years 2 months ago
Inter-Symbol Interference Mitigation in High-Data-Rate UWB Systems
— The design of ultra-wideband (UWB) impulse radio receivers has to cope with complex signal propagation environments with dense multipath fading, which complicate channel estima...
Vincenzo Lottici, Lin Wu, Zhi Tian
B
2007
Springer
14 years 2 months ago
Time Constraint Patterns for Event B Development
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
Dominique Cansell, Dominique Méry, Joris Re...
FDL
2005
IEEE
14 years 2 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
ISAS
2005
Springer
14 years 2 months ago
Proof-Based System Engineering Using a Virtual System Model
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
Martin Biely, Gérard Le Lann, Ulrich Schmid
EKAW
2004
Springer
14 years 1 months ago
Enhancing Ontological Knowledge Through Ontology Population and Enrichment
Abstract. Ontologies are widely used for capturing and organizing knowledge of a particular domain of interest. This knowledge is usually evolvable and therefore an ontology mainte...
Alexandros G. Valarakos, Georgios Paliouras, Vange...