12333 search results - page 583 / 2467 » System Level Modelling for Hardware Software Systems |
180
click to vote
RCIS
2010
15 years 5 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
180
click to vote
TFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
192
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper discusses the trade-off between calculations and memory accesses in a 3D graphics tile renderer for visualization of data from medical scanners. The performance require...
176
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Enterprise Architecture (EA) requires modeling enterprises across multiple levels (from markets down to IT systems). Providing tool support for such models is a challenge (e.g. mo...
198
click to vote
CC
2003
Springer
16 years 9 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...