2748 search results - page 292 / 550 » Generating Object-Z Specifications from Use Cases |
156
click to vote
PLDI
2010
ACM
16 years 1 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
112
click to vote
ICPR
2006
IEEE
16 years 5 months ago
2006
IEEE
Most object recognition systems require large databases of real images for classifier training. To collect real images for this purpose is a difficult and expensive process. This ...
132
click to vote
WEA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A5/1 pseudo-random bit generator, known from GSM networks, potentially might be used for different purposes, such as secret hiding during cryptographic hardware testing, ...
168
click to vote
ADMA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper describes an approach to identifying and comparing frequent pattern trends in social networks. A frequent pattern trend is defined as a sequence of time-stampe...
139
click to vote
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
15 years 9 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...