Search Sciweavers | Sciweavers

7209 search results - page 53 / 1442

» Software Engineering for Multi-Agent Systems

109

click to vote

ICFEM
2010
Springer

163views Software Engineering» more ICFEM 2010»

Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems

15 years 1 months ago

Download formes.asia

José Meseguer, Peter Csaba Ölveczky

claim paper

Read More »

click to vote

ADAEUROPE
2010
Springer

232views Software Engineering» more ADAEUROPE 2010»

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

15 years 1 months ago

Download www.disca.upv.es

Sergio Saez, Alfons Crespo

claim paper

Read More »

104

click to vote

IWPSE
2010
IEEE

117views Software Engineering» more IWPSE 2010»

Feature oriented evolutions for context-aware adaptive systems

15 years 28 days ago

Download soft.vub.ac.be

Paola Inverardi, Marco Mori

claim paper

Read More »

click to vote

ICFEM
2009
Springer

83views Software Engineering» more ICFEM 2009»

A Verification System for Distributed Objects with Asynchronous Method Calls

15 years 23 days ago

Download www.mpi-inf.mpg.de

Wolfgang Ahrendt, Maximilian Dylla

claim paper

Read More »

113

click to vote

ICSM
2009
IEEE

114views Software Engineering» more ICSM 2009»

Feature location in COBOL mainframe systems: An experience report

15 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers