1415 search results - page 92 / 283 » Verified systems by composition from verified components |
212
click to vote
TAOSD
2010
15 years 4 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
162
click to vote
WISE
2000
Springer
15 years 10 months ago
2000
Springer
In this work we discuss a service that aims to make quoting of online documents, „web contents“ easy and provable. For that reason we report the conception of a gateway that w...
171
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
Thermal energy harvesting using micro-scale thermoelectric generators is a promising approach to alleviate the power supply challenge in ultra low power systems. In thermal energy...
260
click to vote
CCE
2007
15 years 7 months ago
2007
: The concept of Virtual Organisation (VO) offers various solutions to management, collaboration and coordination issues important for distributed collaborating teams. Deployment o...
179
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
The firmware of an electronic voting machine is typically treated as a “trusted” component of the system. Consequently, it is misconstrued to be vulnerable only to an insider...