Sciweavers

6253 search results - page 406 / 1251
» Use Case Modeling Guidelines
Sort
View
GMP
2006
IEEE
126views Solid Modeling» more  GMP 2006»
15 years 11 months ago
Interactive Face-Replacements for Modeling Detailed Shapes
In this paper, we present a method that allows novice users to interactively create partially self-similar manifold surfaces without relying on shape grammars or fractal methods. ...
Eric Landreneau, Ergun Akleman, John Keyser
PEWASUN
2004
ACM
15 years 10 months ago
An M/MMGI/1/K queuing model for IEEE 802.11 ad hoc networks
An M/MMGI/1/K queuing model is developed for the analysis of IEEE 802.11 DCF using RTS/CTS. Results are based on arbitrary contention conditions, namely, collision probabilities, ...
Mustafa Özdemir, A. Bruce McDonald
SAFECOMP
1998
Springer
15 years 9 months ago
Safety Properties Ensured by the OASIS Model for Safety Critical Real-Time Systems
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
Vincent David, Jean Delcoigne, Evelyne Leret, Alai...
CDC
2008
IEEE
172views Control Systems» more  CDC 2008»
15 years 6 months ago
Convex relaxation approach to the identification of the Wiener-Hammerstein model
In this paper, an input/output system identification technique for the Wiener-Hammerstein model and its feedback extension is proposed. In the proposed framework, the identificatio...
Kin Cheong Sou, Alexandre Megretski, Luca Daniel
ECOOP
2008
Springer
15 years 6 months ago
On Validity of Program Transformations in the Java Memory Model
Abstract. We analyse the validity of several common program transformations in multi-threaded Java, as defined by the Java Memory Model (JMM) section of Chapter 17 of the Java Lang...
Jaroslav Sevcík, David Aspinall