7080 search results - page 619 / 1416 » Designing High Integrity Systems Using Aspects |
159
click to vote
CSREAEEE
2006
15 years 7 months ago
2006
Research was conducted in the area of sustainable knowledge extraction from e-business systems and technologies. Differentiating approaches from three notable authors in the field...
184
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
187
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
184
click to vote
IPSN
2007
Springer
16 years 19 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
191
click to vote
MSO
2003
15 years 7 months ago
2003
The use of sub-optimal digital systems can at times lead to high speed, efficient, costeffective structures that are sufficient to perform needed tasks. We describe here a system ...