Sciweavers

1042 search results - page 86 / 209
» Ontology: The Discipline and the Tool
Sort
View
IBERAMIA
2004
Springer
15 years 11 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
METRICS
2003
IEEE
15 years 11 months ago
Metrology, Measurement and Metrics in Software Engineering
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...
Alain Abran, Asma Sellami, Witold Suryn
CHI
1997
ACM
15 years 10 months ago
Social Trends and Product Opportunities: Philips' Vision of the Future Project
This paper describes a project that was carried out by Philips Corporate Design (PCD) to explore ideas for products and services, which could be part of our future in the year 200...
Robert Lambourne, Khodi Feiz, Bertrand Rigot
CONCUR
2008
Springer
15 years 8 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
ECSCW
2001
15 years 7 months ago
When worlds collide: Molecular biology as interdisciplinary collaboration
The field of molecular biology is in a remarkably rapid period of change, as the genome sequencing projects and new experimental technologies have generated an explosion of data To...
Vicki L. O'Day, Annette Adler, Allan Kuchinsky, An...