2748 search results - page 67 / 550 » Generating Object-Z Specifications from Use Cases |
138
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
In this paper, we propose a novel unsupervised approach to query segmentation, an important task in Web search. We use a generative query model to recover a query's underlyin...
137
Voted
TSE
2008
15 years 2 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
119
Voted
MICRO
2010
IEEE
15 years 21 days ago
2010
IEEE
Soft error reliability is increasingly becoming a first-order design concern for microprocessors, as a result of higher transistor counts, shrinking device geometries and lowering ...
118
Voted
IASSE
2004
15 years 4 months ago
2004
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
142
Voted
COST
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper a multi-modal method for human identification that exploits the discriminant features derived from several movement types performed from the same human is p...