2282 search results - page 243 / 457 » Active property checking |
116
click to vote
TOPLAS
2008
15 years 3 months ago
2008
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
163
click to vote
ACL
2010
15 years 3 months ago
2010
The Viterbi algorithm is the conventional decoding algorithm most widely adopted for sequence labeling. Viterbi decoding is, however, prohibitively slow when the label set is larg...
148
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
197
click to vote
ICDT
2009
ACM
15 years 2 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
153
click to vote
IJAOSE
2010
15 years 2 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...