4353 search results - page 707 / 871 » Expressiveness of Process Algebras |
84
Voted
IFL
2007
Springer
15 years 4 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
91
Voted
LADS
2007
Springer
15 years 4 months ago
2007
Springer
A key challenge for agent architectures and programming paradigms is to account for defeasible reasoning over mental attitudes and to provide associated conflict resolution mechan...
LPAR
2007
Springer
15 years 4 months ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
MDM
2007
Springer
15 years 4 months ago
2007
Springer
Several window constructs are usually specified in continuous queries over data streams as a means of limiting the amount of data processed each time and thus providing real-time...
MIDDLEWARE
2007
Springer
15 years 4 months ago
2007
Springer
With the increased realisation of the benefits of studying environmental data, sensor networks are rapidly scaling in size, heterogeneity of data, and applications. In this paper...