Sciweavers

3498 search results - page 358 / 700
» Role Model Based Framework Design and Integration
Sort
View
DEXAW
1999
IEEE
106views Database» more  DEXAW 1999»
15 years 11 months ago
Textual Similarities Based on a Distributional Approach
The design of efficient textual similarities is an important issue in the domain of textual data exploration. Textual similarities are for example central in document collection s...
Romaric Besançon, Martin Rajman, Jean-C&eac...
DATE
2003
IEEE
133views Hardware» more  DATE 2003»
15 years 12 months ago
A Flexible Object-Oriented Software Architecture for Smart Wireless Communication Devices
This paper describes the design considerations of and preliminary conclusions drawn from an ongoing project dealing with the design of a software architecture for a family of so-c...
Marco Göltze
JNSM
2010
166views more  JNSM 2010»
15 years 1 months ago
High-Level Design Approach for the Specification of Cognitive Radio Equipments Management APIs
Cognitive Radio (CR) equipments are radio devices that support the smart facilities offered by future cognitive networks. Even if several categories of equipments exist (terminal,...
Christophe Moy
ICSE
2000
IEEE-ACM
15 years 10 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 22 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon