Sciweavers

1063 search results - page 31 / 213
» Programming Methodologies in GCLA
Sort
View
CSSE
2008
IEEE
14 years 2 months ago
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes
—By utilizing XML representations of source programs under test, a new approach is proposed to concisely implement some prototypes for TACCLE, a software testing methodology. The...
Yu Xia Sun, Huo Yan Chen, T. H. Tse
PADL
2012
Springer
12 years 3 months ago
Recent Advances in Declarative Networking
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao,...
DOCENG
2009
ACM
14 years 2 months ago
Creation and maintenance of multi-structured documents
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
Pierre-Edouard Portier, Sylvie Calabretto
FCCM
2006
IEEE
106views VLSI» more  FCCM 2006»
14 years 1 months ago
Defect-Tolerant Nanocomputing Using Bloom Filters
We propose a novel defect-tolerant design methodology using Bloom filters for defect mapping for nanoscale computing devices. It is a general approach that can be used for any pe...
Gang Wang, Wenrui Gong, Ryan Kastner
ATAL
2004
Springer
14 years 29 days ago
Issues in Multiagent System Development
Methodologies for multiagent system development should assist the developer in making decisions about those aspects of the analysis, design and implementation, that are crucial fo...
Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-...