2835 search results - page 175 / 567 » Common Semantics for Use Cases and Task Models |
168
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
207
click to vote
DCEIS
2006
15 years 5 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
173
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper describes a structured tool demonstration, a hybrid evaluation technique that combines elements from experiments, case studies, and technology demonstrations. Developer...
126
click to vote
WISE
2003
Springer
15 years 9 months ago
2003
Springer
Semantic web services hold the promise of greatly increasing interoperability among software agents and web services by enabling content-based (as opposed to format-based) automat...
110
click to vote
ACL
1997
15 years 5 months ago
1997
We identify and validate from a large corpus constraints from conjunctions on the positive or negative semantic orientation of the conjoined adjectives. A log-linear regression mo...