10038 search results - page 1666 / 2008 » Model Checking for Managers |
172
click to vote
IPPS
2006
IEEE
16 years 19 days ago
2006
IEEE
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
190
click to vote
ISESE
2006
IEEE
16 years 19 days ago
2006
IEEE
We consider empirical evaluation of the availability of the deployed software. Evaluation of real systems is more realistic, more accurate, and provides higher level of confidenc...
145
click to vote
ASPDAC
2006
ACM
16 years 18 days ago
2006
ACM
- Although the emerging three-dimensional integration technology can significantly reduce interconnect delay, chip area, and power dissipation in nanometer technologies, its impact...
169
click to vote
ELPUB
2006
ACM
2006
ACM
Weaving the Web of Science. HyperJournal and the Impact of the Semantic Web on Scientific Publishing
16 years 17 days ago
In this paper we present HyperJournal, an Open Source web application for publishing on-line Open Access scholarly journals. In the first part (sections 1-3) we briefly describe t...
149
click to vote
ELPUB
2006
ACM
16 years 17 days ago
2006
ACM
The article explores Open Access in the context of recent contributions in communication and public relations theory, notably Bakhtinian dialogism. Increasingly since the 1960s co...