3558 search results - page 500 / 712 » Object-Oriented Programming on the Network |
185
click to vote
PEPM
1999
ACM
15 years 11 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
241
click to vote
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
181
click to vote
WSC
1994
15 years 8 months ago
1994
Stroboscope is a programming language designed for the simulation of processes common to construction engineering. These processes are very complex and involve many different type...
175
click to vote
MOBIHOC
2009
ACM
16 years 7 months ago
2009
ACM
Distributed scheduling algorithms for wireless ad hoc networks have received substantial attention over the last decade. The complexity levels of these algorithms span a wide spec...
173
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Recently, peer-to-peer (P2P) networks have emerged as a covert communication platform for malicious programs known as bots. As popular distributed systems, they allow bots to comm...