641 search results - page 127 / 129 » A Framework for Analyzing Configurations of Deployable Softw... |
157
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
152
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: A growing demand for tools to assist the building and analysis of biological networks exists in systems biology. We argue that the use of a formal approach is relevant...
133
Voted
PODS
2005
ACM
16 years 3 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
177
Voted
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
Of late, there has been a considerable interest in models, algorithms and methodologies specifically targeted towards designing hardware and software for streaming applications. ...
133
Voted
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...