3432 search results - page 490 / 687 » Language as a Complex Adaptive System |
134
click to vote
ICTAI
2005
IEEE
15 years 11 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
153
click to vote
DATE
2000
IEEE
15 years 9 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
126
click to vote
COLING
1996
15 years 6 months ago
1996
This paper presents an efficient algorithm for retrieving from a database of trees, all trees that match a given query tree appro,imately, that is, within a certain error toleranc...
144
click to vote
FORMATS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
182
click to vote
CLEF
2011
Springer
14 years 5 months ago
2011
Springer
Wikipedia vandalism identification is a very complex issue, which is now mostly solved manually by volunteers. This paper presents the main components of a system built by our grou...