327 search results - page 38 / 66 » Model Checking and Evidence Exploration |
FMSB
2008
13 years 11 months ago
2008
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
ICNS
2009
IEEE
14 years 4 months ago
2009
IEEE
Packet Tracer is a comprehensive instructional software application for teaching skills and concepts associated with computer networking. In addition to a wide range of simulation...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
– This study examines the processes of organizational knowledge creation in two highly virtualized teams, one involved in the design of a small city car and the second in the re-...
MWCN
2004
Springer
14 years 3 months ago
2004
Springer
In Mobile Ad Hoc Networks (MANETs), each node has the capacity to act as a router. The performance of the MANET relies on how well the nodes perform this function. In simulations,...
CHB
2011
13 years 4 months ago
2011
In this paper, we explore how privacy settings and privacy policy consumption (reading the privacy policy) affect the relationship between privacy attitudes and disclosure behavio...