Sciweavers

10055 search results - page 1314 / 2011
» Structured programming using processes
Sort
View
TOOLS
2008
IEEE
16 years 1 months ago
A Comparison of State-Based Modelling Tools for Model Validation
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
Emine G. Aydal, Mark Utting, Jim Woodcock
LADS
2007
Springer
16 years 1 months ago
Facilitating Agent Development in Open Distributed Systems
One of the main reasons about the success of the Web is that many “regular users” are able to create Web pages that, using hyperlinks, incrementally extend both the size and th...
Mauro Gaspari, Davide Guidi
BERTINORO
2005
Springer
16 years 13 days ago
Evolving Fractal Gene Regulatory Networks for Graceful Degradation of Software
Fractal proteins are an evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Mande...
Peter J. Bentley
ESOP
2005
Springer
16 years 13 days ago
Analysis of an Electronic Voting Protocol in the Applied Pi Calculus
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
Steve Kremer, Mark Ryan
ILP
2004
Springer
16 years 8 days ago
Learning Ensembles of First-Order Clauses for Recall-Precision Curves: A Case Study in Biomedical Information Extraction
Many domains in the field of Inductive Logic Programming (ILP) involve highly unbalanced data. Our research has focused on Information Extraction (IE), a task that typically invol...
Mark Goadrich, Louis Oliphant, Jude W. Shavlik
« Prev « First page 1314 / 2011 Last » Next »