Search Sciweavers | Sciweavers

15777 search results - page 554 / 3156

» The Reformulation-Optimization Software Engine

115

click to vote

SEKE
2005
Springer

98views Software Engineering» more SEKE 2005»

Formal Analysis of Workflow Systems with Security Considerations

15 years 11 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

claim paper

Read More »

102

click to vote

SEKE
2005
Springer

78views Software Engineering» more SEKE 2005»

Generating Abstract User Interfaces from an Informal Design

15 years 11 months ago

Download www.isys.ucl.ac.be

Adrien Coyette, Jean Vanderdonckt, Stéphane...

claim paper

Read More »

108

click to vote

SEKE
2005
Springer

64views Software Engineering» more SEKE 2005»

Loosely-coupled Consistency between Agent-oriented Conceptual Models and Z Specifications

15 years 11 months ago

Download www.sqrl.ul.ie

Aneesh Krishna, Aditya K. Ghose, Sergiy A. Vilkomi...

claim paper

Read More »

136

click to vote

SERA
2005
Springer

116views Software Engineering» more SERA 2005»

A Component-Based Approach for Integrating Mobile Agents Into the Existing Web Infrastructure

15 years 11 months ago

Download eden.dei.uc.pt

Haeng-Kon Kim

claim paper

Read More »

125

click to vote

SOCO
2005
Springer

120views Software Engineering» more SOCO 2005»

Analysis of Compositional Conflicts in Component-Based Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers