1552 search results - page 115 / 311 » Concepts and Concept-Oriented Programming |
143
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
116
click to vote
IFIP
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes TAPI, an offline scheme intended for general Internet-based micropayments. TAPI, which extends and combines concepts from the KeyNote Microchecks and OTPCoins...
158
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
157
click to vote
ICPP
2000
IEEE
15 years 10 months ago
2000
IEEE
Message-passing is a well known approach for parallelizing programs. The widely used standard MPI (Message passing interface) also defines C++ bindings. Nevertheless, there is a ...
139
click to vote
SIGCSE
1999
ACM
15 years 10 months ago
1999
ACM
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...