Sciweavers

4820 search results - page 258 / 964
» Implementing Signatures for C
Sort
View
MASA
2001
Springer
15 years 11 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
ITICSE
2000
ACM
15 years 11 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
ECOOPWEXCEPTION
2000
Springer
15 years 11 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
IWPC
1998
IEEE
15 years 10 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...
WER
1999
Springer
15 years 10 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