Sciweavers

5009 search results - page 362 / 1002
» Value chain modelling using system dynamics
Sort
View
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
16 years 3 days ago
Does e-Business Modeling Really Help?
Many innovative e-business ideas are hardly understood by their stakeholders when articulated just by words. To create a better, also shared, understanding, and to enhance confid...
Jaap Gordijn, Hans Akkermans
ATVA
2008
Springer
90views Hardware» more  ATVA 2008»
15 years 8 months ago
Tree Pattern Rewriting Systems
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
Blaise Genest, Anca Muscholl, Olivier Serre, Marc ...
TACS
2001
Springer
15 years 11 months ago
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
WOWMOM
2006
ACM
168views Multimedia» more  WOWMOM 2006»
16 years 23 days ago
Modeling Node Compromise Spread in Wireless Sensor Networks Using Epidemic Theory
Motivated by recent surfacing viruses that can spread over the air interfaces, in this paper, we investigate the potential disastrous threat of node compromise spreading in wirele...
Pradip De, Yonghe Liu, Sajal K. Das
MOBIHOC
2009
ACM
16 years 1 months ago
Revenue generation for truthful spectrum auction in dynamic spectrum access
Spectrum is a critical yet scarce resource and it has been shown that dynamic spectrum access can significantly improve spectrum utilization. To achieve this, it is important to ...
Juncheng Jia, Qian Zhang, Qin Zhang, Mingyan Liu