161 search results - page 19 / 33 » Towards a Framework for Dynamic Verification of Peer-to-Peer... |
UMUAI
2010
13 years 6 months ago
2010
Conversation is an essential component of social behavior, one of the primary means by which humans express intentions, beliefs, emotions, attitudes and personality. Thus the deve...
SIGSOFT
2007
ACM
14 years 8 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
A consensus control framework for the rotational dynamics of multiple spacecraft is developed. The approach is energy based and guarantees asymptotic convergence of relative state...
ICSE
2010
IEEE-ACM
13 years 9 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
ANCS
2010
ACM
13 years 5 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...