84 search results - page 9 / 17 » An Imperative Extension to Alloy |
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
COLING
1994
14 years 11 months ago
1994
This I)aper presents an implemented multi-tal)e twolevel model capable of describing Semitie non-linear morphology. The computational fl'arnework behind the ettrrcnt work is ...
IJWET
2008
14 years 9 months ago
2008
: Information-filtering systems constitute a critical component of modern information-seeking applications. As the number of users grows and the amount of information available bec...
EMNLP
2010
14 years 7 months ago
2010
With the proliferation of user-generated articles over the web, it becomes imperative to develop automated methods that are aware of the ideological-bias implicit in a document co...
EDO
2005
Springer
15 years 3 months ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...