854 search results - page 138 / 171 » Addressing Dynamic Issues of Program Model Checking |
133
Voted
DEDS
1998
15 years 1 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
161
Voted
SIGIR
2012
ACM
13 years 4 months ago
2012
ACM
The term online reputation addresses trust relationships amongst agents in dynamic open systems. These can appear as ratings, recommendations, referrals and feedback. Several repu...
98
Voted
ISQED
2009
IEEE
15 years 9 months ago
2009
IEEE
—As device feature size continues to shrink, reliability becomes a severe issue due to process variation, particle-induced transient errors, and transistor wear-out/stress such a...
122
Voted
PEWASUN
2005
ACM
15 years 7 months ago
2005
ACM
Scalability issues for routing in mobile ad hoc networks (MANETs) have been typically addressed using hybrid routing schemes operating in a hierarchical network architecture. Seve...
130
Voted
DASFAA
2003
IEEE
15 years 7 months ago
2003
IEEE
Peer-to-peer (P2P) technology can be naturally integrated with mobile agent technology in Internet applications, taking advantage of the autonomy, mobility, and efficiency of mobi...