Sciweavers

1071 search results - page 68 / 215
» Programming with enumerable sets of structures
Sort
View
IPPS
2007
IEEE
15 years 6 months ago
A Pretty Flexible API for Generic Peer-to-Peer Programming
NEBLO is a library and runtime system based on a structured overlay network. The API presented by NEBLO offers simple primitives and powerful mechanisms for programming generic p...
Giuseppe Ciaccio
GI
2004
Springer
15 years 6 months ago
Type Safe Programming of XML-based Applications
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
Martin Kempa, Volker Linnemann
123
Voted
AOSD
2007
ACM
15 years 4 months ago
A static aspect language for checking design rules
Design rules express constraints on the behavior and structure of a program. These rules can help ensure that a program follows a set of established practices, and avoids certain ...
Clint Morgan, Kris De Volder, Eric Wohlstadter
130
Voted
ISSRE
2002
IEEE
15 years 5 months ago
Toward A Quantifiable Definition of Software Faults
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
John C. Munson, Allen P. Nikora
JCC
2008
92views more  JCC 2008»
15 years 17 days ago
Fast procedure for reconstruction of full-atom protein models from reduced representations
: We introduce PULCHRA, a fast and robust method for the reconstruction of full-atom protein models starting from a reduced protein representation. The algorithm is particularly su...
Piotr Rotkiewicz, Jeffrey Skolnick