1029 search results - page 84 / 206 » An Architecture for Problem Solving with Diagrams |
ALMOB
2006
13 years 9 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract—Current techniques towards information security have limited capabilities to detect and counter attacks that involve different kinds of masquerade and spread of misinfor...
LCN
2003
IEEE
14 years 2 months ago
2003
IEEE
A wireless sensor network is a special kind of ad-hoc network with distributed sensing and processing capability that can be used in a wide range of applications, such as environm...
VLSID
2006
IEEE
14 years 9 months ago
2006
IEEE
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...