1894 search results - page 300 / 379 » A TLA Proof System |
137
click to vote
APSEC
2008
IEEE
15 years 10 months ago
2008
IEEE
Memory usage analysis is an important problem for resource-constrained mobile devices, especially under mission- or safety-critical circumstances. Program codes running on or bein...
114
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper considers a network flow control problem where routing and input rates are controlled in a decentralized way across a network, to optimize a global welfare objectiv...
145
click to vote
ISORC
2008
IEEE
15 years 10 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...
143
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
107
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— One practical limitation of structured peer-to-peer (P2P) networks is that they are frequently subject to Sybil attacks: malicious parties can compromise the network by generat...