Sciweavers

4820 search results - page 258 / 964
» Implementing Signatures for C
Sort
View
134
Voted
MASA
2001
Springer
15 years 8 months ago
Formal Conversations for the Contract Net Protocol
In this paper we present a fairly complex example of how the social model for agent conversations based on social commitments we have developed in the past formally supports the im...
Roberto A. Flores, Robert C. Kremer
103
Voted
ITICSE
2000
ACM
15 years 8 months ago
Student well-being in a computing department
We describe a project exploring the relationships between factors in the learning environment, student well-being and learning outcomes, in the context of a Computing department. ...
J. R. Davy, K. Audin, M. Barkham, C. Joyner
111
Voted
ECOOPWEXCEPTION
2000
Springer
15 years 8 months ago
Exception Safety: Concepts and Techniques
This paper presents a set of concepts and design techniques that has proven successful in implementing and using C++ libraries intended for applications that simultaneously require...
Bjarne Stroustrup
119
Voted
IWPC
1998
IEEE
15 years 8 months ago
Using Automatic Clustering to Produce High-Level System Organizations of Source Code
This paper describes a collection of algorithms that we developed and implemented to facilitate the automatic recovery of the modular structure of a software system from its sourc...
Spiros Mancoridis, Brian S. Mitchell, C. Rorres, Y...
113
Voted
WER
1999
Springer
15 years 8 months ago
An Object Oriented Library for Tracing Requirements
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
Francisco A. C. Pinheiro