4350 search results - page 365 / 870 » Case studies for contract-based systems |
171
Voted
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
166
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
Haiku is a data mining system which combines the best properties of human and machine discovery. An self organising visualisation system is coupled with a genetic algorithm to prov...
159
click to vote
WSC
2008
15 years 9 months ago
2008
In our research, the manufacturing system emulation technology is proposed as one of the frontloading methods in the manufacturing system implementation phase. In this paper, the ...
147
click to vote
INTERACT
2007
15 years 8 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 ...
204
click to vote
OPODIS
2003
15 years 8 months ago
2003
In this paper we present a framework to formally describe and study the interconnection of distributed shared memory systems. In our models we minimize the dependencies between the...