Search Sciweavers | Sciweavers

9006 search results - page 140 / 1802

» Modeling Software

128

click to vote

AOSE
2004
Springer

101views Intelligent Agents» more AOSE 2004»

Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform

15 years 10 months ago

Download vsis-www.informatik.uni-hamburg.de

More and more eﬀort is made to provide methodologies for the development of agent–based systems. Awareness has grown that these are necessary to develop high quality agent syst...

Jan Sudeikat, Lars Braubach, Alexander Pokahr, Win...

claim paper

Read More »

click to vote

APN
2004
Springer

113views Artificial Intelligence» more APN 2004»

Embedded Software: Better Models, Better Code

15 years 10 months ago

Download www.artist-embedded.org

Thomas A. Henzinger

claim paper

Read More »

103

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 10 months ago

Download research.microsoft.com

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...

claim paper

Read More »

110

click to vote

GG
2004
Springer

109views Theoretical Computer Science» more GG 2004»

Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions

15 years 10 months ago

Download www.foibg.com

Reiko Heckel, Tom Mens

claim paper

Read More »

117

click to vote

IFIP
2004
Springer

90views Programming Languages» more IFIP 2004»

Software Rejuvenation - Modeling and Analysis

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers