2214 search results - page 132 / 443 » Initial Design of the |
158
click to vote
IVC
2002
15 years 3 months ago
2002
A color scale was designed with an approach that combined both human visual response to color and physical properties of color. The design was initiated with a subjective evaluati...
195
click to vote
ISSE
2011
14 years 10 months ago
2011
Application developers utilizing event-based middleware have sought to leverage domain-specific modeling for the advantages of intuitive specification, code synthesis, and suppo...
149
click to vote
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
136
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...
136
Voted
ACSW
2006
15 years 5 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...