Sciweavers

2500 search results - page 136 / 500
» Specifying Behavior in C
Sort
View
ER
2003
Springer
142views Database» more  ER 2003»
15 years 8 months ago
An OPM-Based Metamodel of System Development Process
A modeling and development methodology is a combination of a language for expressing the universal or domain ontology and an approach for developing systems using that language. A ...
Dov Dori, Iris Reinhartz-Berger
ICSE
2001
IEEE-ACM
15 years 7 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
EUROPAR
2006
Springer
15 years 7 months ago
Specification of Inefficiency Patterns for MPI-2 One-Sided Communication
Abstract. Automatic performance analysis of parallel programs can be accomplished by scanning event traces of program execution for patterns representing inefficient behavior. The ...
Andrej Kühnal, Marc-André Hermanns, Be...
126
Voted
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
15 years 7 months ago
Seamless Integration of Control Flow and Data Flow in a Visual Language
In the visual programming domain, the stress of research is laid on the use of visual formalism, which is considered to be more intuitive than the textual formalism, in the progra...
Honitriniela Randriamparany, Bertrand Ibrahim
148
Voted
IADIS
2003
15 years 4 months ago
Performance Analysis of DCF Access Schemes over IEEE 802.11A Physical Layer
IEEE 802.11a is one of the latest standards to be released by the IEEE Project 802. It has specified a new physical layer (PHY) to support higher data rates, known as the orthogon...
S. Selvakennedy