2496 search results - page 149 / 500 » Error-detecting properties of languages |
APAL
2006
15 years 27 days ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
186
Voted
IANDC
2008
15 years 26 days ago
2008
Abstract. Cellular Automata can be considered discrete dynamical systems and at the same time a model of parallel computation. In this paper we investigate the connections between ...
142
click to vote
MIDDLEWARE
2007
Springer
15 years 7 months ago
2007
Springer
With the growing number of service advertisements in service marketplaces, there is a need for matchmakers which select and rank functionally similar services based on nonfunction...
148
click to vote
PLPV
2012
ACM
13 years 8 months ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
128
Voted
AGTIVE
2003
Springer
15 years 6 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...