1746 search results - page 232 / 350 » Residual for Component Specifications |
178
click to vote
CHI
1997
ACM
15 years 9 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
138
click to vote
CBMS
2004
IEEE
15 years 8 months ago
2004
IEEE
Insight to complex problems may be revealed when domain data sets are viewed or structured in new and innovative ways. Systems approaches to biomedical problems fundamentally invo...
179
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
System-on-Chip (SOC) and other complex distributed hardware/software systems contain heterogeneous components such as DSPs, micro-controllers, application specific logic etc., whi...
143
click to vote
POPL
2000
ACM
15 years 8 months ago
2000
ACM
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
161
Voted
ECOOPW
2008
Springer
15 years 6 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...