Search Sciweavers | Sciweavers

9006 search results - page 46 / 1802

» Modeling Software

145

Voted

COMPSAC
2000
IEEE

115views Software Engineering» more COMPSAC 2000»

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

15 years 10 months ago

Download www.cs.wustl.edu

Nanbor Wang, Kirthika Parameswaran, Michael Kirche...

claim paper

Read More »

157

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

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

15 years 10 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

125

Voted

APSEC
1997
IEEE

82views Software Engineering» more APSEC 1997»

Towards Constructing a Class Evolution Model

15 years 10 months ago

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

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

claim paper

Read More »

121

Voted

CODES
1997
IEEE

69views Software Engineering» more CODES 1997»

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

15 years 10 months ago

Download www.cs.ucr.edu

Harry Hsieh, Alberto L. Sangiovanni-Vincentelli

claim paper

Read More »

139

click to vote

COMPSAC
1997
IEEE

117views Software Engineering» more COMPSAC 1997»

Model-Based Architecture for the Intranet

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers