8828 search results - page 1432 / 1766 » Formal methods in practice |
274
click to vote
SMALLTALK
2007
Springer
16 years 28 days ago
2007
Springer
Concurrency control in Smalltalk is based on locks and is therefore notoriously difficult to use. Even though some implementations provide high-level constructs, these add complexi...
194
click to vote
INFOCOM
2006
IEEE
16 years 26 days ago
2006
IEEE
— Flow control, including congestion control for data transmission, and rate control for multimedia streaming, is an important issue in information transmission in both wireline ...
170
click to vote
INFOCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— An ad hoc wireless network is an autonomous selforganizing system of mobile nodes connected by wireless links where nodes not in direct range communicate via intermedia...
191
click to vote
INFOCOM
2005
IEEE
16 years 12 days ago
2005
IEEE
— Multihoming is a popular method used by large enterprises and stub ISPs to connect to the Internet to reduce cost and improve performance. Recently researchers have studied the...
182
click to vote
ESOP
2005
Springer
16 years 10 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...