652 search results - page 42 / 131 » Deriving Specifications of Dependable Systems: toward a Meth... |
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
WIMOB
2007
IEEE
15 years 4 months ago
2007
IEEE
As part of the IEEE 802.16 protocol, the random access scheme is used for ranging. The ratio between the numbers of periodic ranging slots and data slots in the uplink subframe de...
100
click to vote
SPLC
2008
14 years 11 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
VISUALIZATION
2003
IEEE
15 years 3 months ago
2003
IEEE
We describe how to count the cases that arise in a family of visualization techniques, including Marching Cubes, Sweeping Simplices, Contour Meshing, Interval Volumes, and Separat...
ICSM
1999
IEEE
15 years 2 months ago
1999
IEEE
The success of an object-oriented software development project highly depends on how well the designers can capture the Hot Spots of the application domain, that is, those aspects...