53 search results - page 7 / 11 » Towards Model-Checking Programs with Lists |
EMSOFT
2004
Springer
14 years 3 months ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
ADAEUROPE
2007
Springer
14 years 4 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
SOFTVIS
2003
ACM
14 years 3 months ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...