10182 search results - page 157 / 2037 » Case Studies |
158
click to vote
ACSAC
2007
IEEE
15 years 12 months 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...
146
Voted
FDL
2007
IEEE
15 years 12 months 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...
136
click to vote
HICSS
2007
IEEE
15 years 12 months 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...
153
click to vote
HICSS
2007
IEEE
15 years 12 months 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...
