10182 search results - page 157 / 2037 » Case Studies |
171
click to vote
ACSAC
2007
IEEE
16 years 25 days ago
2007
IEEE
Special purpose trusted computing devices are currently being deployed to offer many services for which the general purpose computing paradigm is unsuitable. The nature of the ser...
161
click to vote
FDL
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
156
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
In spite of the overwhelming success of Free/Open Source Software (F/OSS) like Apache and GNU/Linux, there is a limited understanding of the processes and methodologies that speci...
170
click to vote
HICSS
2007
IEEE
16 years 24 days ago
2007
IEEE
— This paper demonstrates how two different sets of powerful domain specific language features can be specified and deployed as composable language extensions. These extensions...
