5111 search results - page 777 / 1023 » The Embedded Systems Design Challenge |
186
click to vote
IV
2005
IEEE
16 years 6 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...
190
click to vote
AIME
2005
Springer
16 years 5 days ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
193
click to vote
EUROPAR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
135
click to vote
FM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
186
click to vote
TABLEAUX
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...