Sciweavers

7892 search results - page 192 / 1579
» Programming with Models
Sort
View
SRDS
1999
IEEE
15 years 5 months ago
An Agent Platform for Reliable Asynchronous Distributed Programming
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
Luc Bellissard, Noel De Palma, André Freyss...
FORTE
2008
15 years 3 months ago
Program Repair Suggestions from Graphical State-Transition Specifications
In software engineering, graphical formalisms, like state-transition tables and automata, are very often indispensable parts of the specifications. Such a formalism usually leads t...
Farn Wang, Chih-Hong Cheng
ILP
2007
Springer
15 years 7 months ago
Using Bayesian Networks to Direct Stochastic Search in Inductive Logic Programming
Stochastically searching the space of candidate clauses is an appealing way to scale up ILP to large datasets. We address an approach that uses a Bayesian network model to adaptive...
Louis Oliphant, Jude W. Shavlik
IQ
2007
15 years 3 months ago
An Alert Management Approach To Data Quality: Lessons Learned From The Visa Data Authority Program
: We introduce an end-to-end framework for data quality that integrates business strategy, data quality models, and supporting investigative and governance processes. We also descr...
Joseph Bugajski, Robert L. Grossman
JUCS
2006
109views more  JUCS 2006»
15 years 1 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...