Sciweavers

2482 search results - page 110 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
TE
2010
68views more  TE 2010»
13 years 2 months ago
Remote Spectroscopy in the Visible Using Fibers on the Optical Internet Network
The work presented here demonstrates the feasibility of using the single-mode fibers of an optical Internet network to deliver visible light between separate laboratories as a way ...
Rafael A. S. Ribeiro, Anderson R. de Oliveira, S&e...
AGENTS
2001
Springer
14 years 21 days ago
A knowledge level software engineering methodology for agent oriented programming
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
Paolo Bresciani, Anna Perini, Paolo Giorgini, Faus...
VISSOFT
2002
IEEE
14 years 1 months ago
Metrics-Based 3D Visualization of Large Object-Oriented Programs
In this paper a new approach for a metrics based software visualization is presented which supports an efficient and effective quality assessment of large object-oriented software...
Claus Lewerentz, Frank Simon
PPDP
2007
Springer
14 years 2 months ago
Unfolding in CHR
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara...

Book
301views
15 years 6 months ago
Programming in Standard ML
"Standard ML is a type-safe programming language that embodies many innovative ideas in programming language design. It is a statically typed language, with an extensible type...
Robert Harper