2748 search results - page 71 / 550 » Generating Object-Z Specifications from Use Cases |
142
Voted
NPC
2004
Springer
15 years 8 months ago
2004
Springer
Many sensor network applications are data-centric, and data analysis plays an important role in these applications. However, it is a challenging task to find out what specific prob...
127
Voted
CORR
2010
Springer
15 years 4 days ago
2010
Springer
Nested codes have been employed in a large number of communication applications as a specific case of superposition codes, for example to implement binning schemes in the presence ...
127
Voted
ICSE
1997
IEEE-ACM
15 years 6 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
133
Voted
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
This paper presents a novel framework for applying semantic labels to events within a track. A track is a two-dimensional (2D) or a three-dimensional (3D) signal in time where eac...
142
Voted
ASWEC
2005
IEEE
15 years 8 months ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...