1606 search results - page 178 / 322 » Methodological Approach for Developing a KMS: A Case Study |
194
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
164
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
The growing class of portable systems, such as personal computing and communication devices, has resulted in a new set of system design requirements, mainly characterized by domin...
159
click to vote
JCSS
2010
15 years 4 months ago
2010
We present solutions for the k-mismatch pattern matching problem with don’t cares. Given a text t of length n and a pattern p of length m with don’t care symbols and a bound k...
259
click to vote
DLS
2009
15 years 4 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
193
click to vote
ICSE
2009
IEEE-ACM
15 years 4 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...