2173 search results - page 226 / 435 » The History of the History of Software |
164
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
Information about instruction criticality can be used to control the application of micro-architectural resources efficiently. To this end, several groups have proposed methods t...
187
click to vote
ASWC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we demonstrate IP-Explorer, a semantic web based IP knowledge base and trading platform with the following characteristics: First, it is based on the semantic web te...
159
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...
264
click to vote
ECAGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. M–commerce is a new area arising from the marriage of electronic commerce with emerging mobile and pervasive computing technology. The newness of this area—and the ra...
166
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
The history of the application of formal methods to cryptographic protocol analysis spans nearly twenty years, and recently has been showing signs of new maturity and consolidatio...