16725 search results - page 2673 / 3345 » Engineering Software Correctness |
224
click to vote
JSS
2010
15 years 2 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
339
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
358
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...
183
click to vote
MOBISYS
2005
ACM
16 years 6 months ago
2005
ACM
This paper presents a new pairing protocol that allows two CPU-constrained wireless devices Alice and Bob to establish a shared secret at a very low cost. To our knowledge, this i...
197
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
The threat of commoditization poses a real challenge for service providers. While the end-to-end principle is often paraphrased as “dumb network, smart end-systems”, the origi...