4255 search results - page 437 / 851 » Database: Models, Languages, Design |
184
click to vote
PLDI
2003
ACM
16 years 5 days ago
2003
ACM
Typed assembly languages provide a way to generate machinecheckable safety proofs for machine-language programs. But the soundness proofs of most existing typed assembly languages...
197
click to vote
CODES
2003
IEEE
16 years 7 days ago
2003
IEEE
System-on-chip (SoC) designs have the potential to change the way we organize computation. This potential has gone unrealized. Future SoCs will have multiple heterogeneous process...
184
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
262
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Emerging computational paradigms such as global and ubiquitous computing require some rethinking and innovative research ideas in many computer science areas. In this work, we aim...
195
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...