Sciweavers

2651 search results - page 388 / 531
» Experiences with the Use of a Configuration Language
Sort
View
FM
2009
Springer
95views Formal Methods» more  FM 2009»
16 years 1 months ago
It's Doomed; We Can Prove It
Abstract. Programming errors found early are the cheapest. Tools applying to the early stage of code development exist but either they suffer from false positives (“noise”) or...
Jochen Hoenicke, K. Rustan M. Leino, Andreas Podel...
ICMT
2009
Springer
16 years 1 months ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...
KESAMSTA
2009
Springer
16 years 1 months ago
Relational Learning by Imitation
Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...
Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...
DOCENG
2009
ACM
16 years 1 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
CIMCA
2008
IEEE
16 years 28 days ago
Collective Operations as Building Blocks for Agent Cooperation
Cooperation is the process of synchronization and exchanging useful knowledge between agents in multiagent systems. Since cooperation associates agents into a collaborative team t...
Nguyen Tuan Duc, Ikuo Takeuchi