Search Sciweavers | Sciweavers

9974 search results - page 236 / 1995

» Software Interconnection Models

164

click to vote

SFM
2007
Springer

134views Formal Methods» more SFM 2007»

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

16 years 19 days ago

Download www.sti.uniurb.it

C. Murray Woodside

claim paper

Read More »

158

click to vote

EDOC
2006
IEEE

128views Distributed And Parallel Com...» more EDOC 2006»

UML4SPM: An Executable Software Process Modeling Language Providing High-Level Abstractions

16 years 17 days ago

Download pagesperso-systeme.lip6.fr

Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc

claim paper

Read More »

153

click to vote

IAT
2005
IEEE

125views Intelligent Agents» more IAT 2005»

A Cognitive Model of Interaction for Software Agents

16 years 4 days ago

Download asi.insa-rouen.fr

Alexandre Pauchet, Nathalie Chaignaud, Amal El Fal...

claim paper

Read More »

141

click to vote

ICEIS
2005
IEEE

103views Information Technology» more ICEIS 2005»

A Methodology for Role-Based Modeling of Open Multi-Agent Software Systems

16 years 3 days ago

Download www.cis.umassd.edu

Haiping Xu, Xiaoqin Zhang

claim paper

Read More »

143

click to vote

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

Prediction of inherited and genetic mutations using the software model checker SPIN

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers