Sciweavers

2934 search results - page 340 / 587
» Universality in Multi-Agent Systems
Sort
View
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 4 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ISVC
2005
Springer
16 years 3 days ago
Tool for Storm Analysis Using Multiple Data Sets
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
Robert M. Rabin, Tom Whittaker
MLCW
2005
Springer
16 years 3 days ago
Recognizing Textual Entailment Via Atomic Propositions
Abstract. This paper describes Macquarie University’s Centre for Language Technology contribution to the PASCAL 2005 Recognizing Textual Entailment challenge. Our main aim was to...
Elena Akhmatova, Diego Mollá
ECLIPSE
2004
ACM
16 years 1 days ago
Using Eclipse in distant teaching of software engineering
Software engineering education is most often complemented by a software engineering project where a team of students has to develop a large software system. At a distance teaching...
Philipp Bouillon, Jens Krinke
ACRI
2004
Springer
16 years 18 hour ago
Heredity, Complexity, and Surprise: Embedded Self-Replication and Evolution in CA
Abstract. This paper reviews the history of embedded, evolvable selfreplicating structures implemented as cellular automata systems. We relate recent advances in this field to the...
Chris Salzberg, Hiroki Sayama