3256 search results - page 403 / 652 » Applications of Formal Methods to System Design and Verifica... |
241
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents a method for analyzing the survivability of distributed network systems and an example of its application. Survivability is the capability of a system to fulfi...
165
click to vote
COSIT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The modeling of concepts from a cognitive perspective is important for designing spatial information systems that interoperate with human users. Concept representations t...
134
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
203
click to vote
LEC
2002
IEEE
15 years 11 months ago
2002
IEEE
The Web has emerged as a huge information repository that can be used for various knowledge based applications, an important one being Question Answering (QA). The paper discusses...
158
click to vote
CHI
1994
ACM
15 years 10 months ago
1994
ACM
My doctoral research focuses on the usability and usage of new computer technology such as interactive systems that support the combination different input media such as voice, ge...