9455 search results - page 203 / 1891 » The Modelling Language Zinc |
101
click to vote
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML f...
140
click to vote
IALP
2010
15 years 1 months ago
2010
This paper describes an attempt to build a lexical database for the Yami language, an Austronesian endangered language. As the Yami language documentation and conservation project...
195
click to vote
EIS
2011
14 years 11 months ago
2011
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
270
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...
138
click to vote
LREC
2008
15 years 5 months ago
2008
In this paper we present two experiments conducted for comparison of different language identification algorithms. Short words-, frequent words- and n-gram-based approaches are co...