10263 search results - page 185 / 2053 » From Use Cases to System Operation Specifications |
209
click to vote
CC
2008
Springer
15 years 9 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
185
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Discovering users' specific and implicit geographic intention in web search can greatly help satisfy users' information needs. We build a geo intent analysis system that...
221
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
201
click to vote
EDOC
2009
IEEE
15 years 11 months ago
2009
IEEE
Viewpoint modeling is an effective technique for specifying complex software systems in terms of a set of independent viewpoints and correspondences between them. Each viewpoint f...
215
click to vote
ACL
2010
15 years 5 months ago
2010
We present a method for automatically generating focused and accurate topicspecific subjectivity lexicons from a general purpose polarity lexicon that allow users to pin-point sub...