1833 search results - page 282 / 367 » Mechanized Verification with Sharing |
117
click to vote
PACS
2004
Springer
15 years 10 months ago
2004
Springer
Technology scaling trends and the limitations of packaging and cooling have intensified the need for thermally efficient architectures and architecture-level temperature managemen...
123
Voted
POLICY
2004
Springer
15 years 10 months ago
2004
Springer
A major hurdle in sharing resources between organizations is heterogeneity. Therefore, in order for two organizations to collaborate their policies have to be resolved. The proces...
165
click to vote
AGP
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract The Semantic Web (SW) can be seen as abstract representation and exchange of data and metadata. Metadata is given in terms of data mark-up and reference to shared, Web-acc...
137
click to vote
APSEC
2003
IEEE
15 years 10 months ago
2003
IEEE
The size, complexity and duration of typical software engineering projects means that teams of developers will work on them. However, with the exception of version control systems...
128
click to vote
CA
2003
IEEE
15 years 10 months ago
2003
IEEE
This research explores ways of harnessing people’s passion for entertainment in order to stimulate players to attain the meta-learning skills they need for lifelong learning and...