141 search results - page 9 / 29 » Another Look at PMAC |
ICECCS
2007
IEEE
15 years 1 months ago
2007
IEEE
For many systems, timing aspects are essential. Therefore, when modelling these systems, time should somehow be represented. In the past, many timed process algebras have been dev...
ICWSM
2010
14 years 11 months ago
2010
We propose an approach to determine the ethnic breakdown of a population based solely on people's names and data provided by the U.S. Census Bureau. We demonstrate that our a...
INTERACT
2007
14 years 11 months ago
2007
Many systems form ‘chains’ whereby developers use one system (or ‘tool’) to create another system, for use by other people. Little work within Human–Computer Interaction ...
DAGSTUHL
2001
14 years 11 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
SERP
2004
14 years 11 months ago
2004
A common assumption for many process-centred support environments is that they provide the same process support at different levels of the organization. We believe that the requir...