949 search results - page 18 / 190 » Relating Imperatives to Action |
82
Voted
UML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
149
click to vote
BMVC
2010
14 years 12 months ago
2010
In this paper we propose a novel approach to introducing semantic relations into the bag-of-words framework. We use the latent semantic models, such as LSA and pLSA, in order to d...
112
Voted
ICSE
2003
IEEE-ACM
16 years 1 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
137
click to vote
LICS
1991
IEEE
15 years 5 months ago
1991
IEEE
Baeten, Bergstra, and Klop (and later Caucal) have proved the remarkable result that bisimulation equivalence is decidable for irredundant context-free grammars. In this paper we ...
ICFEM
2009
Springer
15 years 8 months ago
2009
Springer
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...