Search Sciweavers | Sciweavers

9018 search results - page 156 / 1804

» 3D-Brain Model Software

160

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

16 years 11 days 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 »

128

click to vote

APN
2004
Springer

113views Artificial Intelligence» more APN 2004»

Embedded Software: Better Models, Better Code

16 years 11 days ago

Download www.artist-embedded.org

Thomas A. Henzinger

claim paper

Read More »

131

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

16 years 11 days ago

Download research.microsoft.com

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

claim paper

Read More »

142

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

16 years 11 days ago

Download www.foibg.com

Reiko Heckel, Tom Mens

claim paper

Read More »

142

Voted

IFIP
2004
Springer

90views Programming Languages» more IFIP 2004»

Software Rejuvenation - Modeling and Analysis

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers