Sciweavers

1354 search results - page 45 / 271
» Comparing Agent-Oriented Methodologies
Sort
View
EMSOFT
2004
Springer
14 years 12 days ago
A methodology for generating verified combinatorial circuits
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
Oleg Kiselyov, Kedar N. Swadi, Walid Taha
LREC
2008
130views Education» more  LREC 2008»
13 years 10 months ago
Encoding Terms from a Scientific Domain in a Terminological Database: Methodology and Criteria
This paper reports on the main phases of a research which aims at enhancing a maritime terminological database by means of a set of terms belonging to meteorology. The structure o...
Rita Marinelli, Melissa Tiberi, Remo Bindi
NSDI
2004
13 years 10 months ago
MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks
Currently, researchers designing and implementing largescale overlay services employ disparate techniques at each stage in the production cycle: design, implementation, experiment...
Adolfo Rodriguez, Charles Edwin Killian, Sooraj Bh...
CCR
2005
64views more  CCR 2005»
13 years 8 months ago
A methodology for studying persistency aspects of internet flows
We focus in this paper on Internet flows, consider their contributions to the overall traffic per time unit or bin, and perform a multi-scale and multi-protocol analysis to explor...
Jörg Wallerich, Holger Dreger, Anja Feldmann,...
TSE
2002
119views more  TSE 2002»
13 years 8 months ago
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology
Although there has been recent research into ways to design environments that enable end users to create their own programs, little attention has been given to helping these end u...
Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gr...