268 search results - page 34 / 54 » Sequence Diagram Slicing |
ROOM
2000
14 years 11 months ago
2000
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
103
click to vote
ISPD
1998
ACM
15 years 1 months ago
1998
ACM
In this paper, we formulate the problem of topology constrained rectilinear block packing in layout reuse. A speci c class of rectilinear shaped blocks, ordered convex rectilinear...
104
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
3DPH
2009
14 years 10 months ago
2009
For the convincing modeling of virtual humans, realistic breathing is an important aspect. This paper is about the simulation of breathing, based on anatomical and physiological pr...
60
Voted
NAR
2000
14 years 9 months ago
2000
The RESID Database contains supplemental information on post-translational modifications for the standardized annotations appearing in the PIR-International Protein Sequence Datab...