Sciweavers

3555 search results - page 377 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
CORR
2004
Springer
121views Education» more  CORR 2004»
15 years 6 months ago
Solving Elliptic Finite Element Systems in Near-Linear Time with Support Preconditioners
We consider linear systems arising from the use of the finite element method for solving a certain class of linear elliptic problems. Our main result is that these linear systems, ...
Erik G. Boman, Bruce Hendrickson, Stephen A. Vavas...
CHI
2010
ACM
16 years 1 months ago
InPhase: evaluation of a communication system focused on "happy coincidences" of daily behaviors
To supplement existing forms of communication such as telephone and e-mail, this research proposes a new method of communicating “awareness” between people who are separated b...
Hitomi Tsujita, Koji Tsukada, Itiro Siio
IEEEARES
2006
IEEE
16 years 23 days ago
Securing DNS Services through System Self Cleansing and Hardware Enhancements
-- Domain Name Systems (DNS) provide the mapping between easily-remembered host names and their IP addresses. Popular DNS implementations however contain vulnerabilities that are e...
Yih Huang, David Arsenault, Arun Sood
CIA
2003
Springer
15 years 12 months ago
A Peer-to-Peer Approach to Resource Discovery in Multi-agent Systems
A multi-agent system is a network of software agents that cooperate to solve problems. In open multi-agent systems, the agents that need resources provided by other agents are not ...
Vassilios V. Dimakopoulos, Evaggelia Pitoura
ASPDAC
2004
ACM
89views Hardware» more  ASPDAC 2004»
15 years 10 months ago
Predictable design of low power systems by pre-implementation estimation and optimization
- Each year tens of billions of Dollars are wasted by the microelectronics industry because of missed deadlines and delayed design projects. These delays are partially due to desig...
Wolfgang Nebel