7080 search results - page 302 / 1416 » Designing High Integrity Systems Using Aspects |
127
Voted
ISLPED
2005
ACM
15 years 9 months ago
2005
ACM
The emphasis in microprocessor design has shifted from high performance, to a combination of high performance and low power. Until recently, this trend was mostly true for uniproc...
151
click to vote
RSP
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
146
Voted
EKAW
2006
Springer
15 years 7 months ago
2006
Springer
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
116
click to vote
ICIP
2000
IEEE
16 years 5 months ago
2000
IEEE
To reduce the number of traffic accidents and to increase the drivers comfort, the thought of designing driver assistance systems rose in the past years. Fully or partly autonomou...
GEOINFO
2004
15 years 4 months ago
2004
: Explorative Location-based Applications (eLBA), define a new class of applications that rely on both positioning (i.e. location information) and georeferenced information in addi...