8109 search results - page 363 / 1622 » A Model of Component-Based Programming |
176
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
The Back of an Envelope project demonstrates how a calligraphic interface (one that employs a pen or stylus to input freehand drawing marks) can be used in a wide variety of domai...
204
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
Associative Language Descriptions are a recent grammar model, theoretically less powerful than Context Free grammars, but adequate for describing the syntax of programming languag...
187
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
178
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a method to automatically generate posynomial response surface models for the performance parameters of analog integrated circuits. The posynomial models enabl...
178
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Practical software verification is dominated by two major classes of techniques. The first is model checking, which provides total precision, but suffers from the state space ...