10038 search results - page 1534 / 2008 » Model Checking for Managers |
178
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Microarray technology is a powerful tool for geneticists to monitor interactions among tens of thousands of genes simultaneously. There has been extensive research on coherent sub...
172
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
: Nowadays businesses often decide to form networked value constellations in order to satisfy complex customer needs. To fulfill the value-based requirements of an e-Business idea ...
184
click to vote
GCC
2006
Springer
15 years 10 months ago
2006
Springer
With the emergence of global market and virtual enterprises, coordination of business processes in dispersed organizations by distributed workflow execution will take on more impo...
212
click to vote
CCGRID
2001
IEEE
15 years 10 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
227
click to vote
APCSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Dataflow computation models enable simpler and more efficient management of the memory hierarchy - a key barrier to the performance of many parallel programs. This paper describes...