Search Sciweavers | Sciweavers

7209 search results - page 46 / 1442

» Software Engineering for Multi-Agent Systems

147

click to vote

CODES
1996
IEEE

88views Software Engineering» more CODES 1996»

A framework for interactive analysis of timing constraints in embedded systems

15 years 11 months ago

Download www.cecs.uci.edu

R. K. Gupta

claim paper

Read More »

144

click to vote

COMPSAC
1996
IEEE

94views Software Engineering» more COMPSAC 1996»

Coordination of Systems with Real-Time Properties in Manifold

15 years 11 months ago

Download www.cs.ucy.ac.cy

George A. Papadopoulos, Farhad Arbab

claim paper

Read More »

182

click to vote

AMAST
1997
Springer

124views Software Engineering» more AMAST 1997»

Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)

15 years 11 months ago

Download www.di.ens.fr

Patrick Cousot, Radhia Cousot

claim paper

Read More »

145

click to vote

ISSTA
1996
ACM

106views Software Engineering» more ISSTA 1996»

An Efficient State Space Generation for Analysis of Real-Time Systems

15 years 11 months ago

Download ftp.cis.upenn.edu

Inhye Kang, Insup Lee

claim paper

Read More »

142

Voted

TACS
1997
Springer

89views Software Engineering» more TACS 1997»

System F with Width-Subtyping and Record Updating

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers