1547 search results - page 82 / 310 » The Isabelle Collections Framework |
130
click to vote
WWW
2003
ACM
15 years 9 months ago
2003
ACM
This article presents the semantic portal MUSEUMFINLAND for publishing heterogeneous museum collections on the Semantic Web. It is shown how museums with their semantically rich a...
169
click to vote
BROADNETS
2005
IEEE
15 years 9 months ago
2005
IEEE
— Lightweight protocols that are both bandwidth and power thrifty are desirable for sensor networks. In addition, for many sensor network applications, timeliness of data deliver...
135
click to vote
ECOOP
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...
111
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Six Sigma has been adopted by many software development organizations to identify problems in software projects and processes, find optimal solutions for the identified problems, ...
139
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...