Search Sciweavers | Sciweavers

9006 search results - page 46 / 1802

» Modeling Software

click to vote

COMPSAC
2000
IEEE

115views Software Engineering» more COMPSAC 2000»

Applying Reflective Middleware Techniques to Optimize a QoS-Enabled CORBA Component Model Implementation

14 years 2 months ago

Download www.cs.wustl.edu

Nanbor Wang, Kirthika Parameswaran, Michael Kirche...

claim paper

Read More »

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

14 years 2 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

click to vote

APSEC
1997
IEEE

82views Software Engineering» more APSEC 1997»

Towards Constructing a Class Evolution Model

14 years 2 months ago

Download www.graco.c.u-tokyo.ac.jp

Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Ha...

claim paper

Read More »

click to vote

CODES
1997
IEEE

69views Software Engineering» more CODES 1997»

Modeling micro-controller peripherals for high-level co-simulation and synthesis

14 years 2 months ago

Download www.cs.ucr.edu

Harry Hsieh, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

click to vote

COMPSAC
1997
IEEE

117views Software Engineering» more COMPSAC 1997»

Model-Based Architecture for the Intranet

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers