5241 search results - page 709 / 1049 » Embedded Programming with C |
129
click to vote
PADL
2010
Springer
15 years 6 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...
141
click to vote
FASE
2008
Springer
15 years 5 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
109
click to vote
DIMVA
2007
15 years 5 months ago
2007
A botnet is a collection of bots, each generally running on a compromised system and responding to commands over a “commandand-control” overlay network. We investigate observab...
126
click to vote
APPINF
2003
15 years 5 months ago
2003
Existing efforts on XML internationalization and localization have been focusing on the contents of XML documents instead of on the meta presentations such as tags and attributes...
113
click to vote
COOTS
2001
15 years 5 months ago
2001
Mainstream object-oriented languages, such as C++ and Java1 , provide only a restricted form of polymorphic methods, namely uni-receiver dispatch. In common programming situations...