3450 search results - page 486 / 690 » Developing Parallel Applications Using the JAVAPORTS Environ... |
194
click to vote
AAAI
1998
15 years 7 months ago
1998
We present a novel methodology for building humanlike artificially intelligent systems. We take as a model the only existing systems which are universally accepted as intelligent:...
182
click to vote
HT
1991
ACM
15 years 10 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...
169
click to vote
ASE
2008
15 years 6 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
193
click to vote
WISTP
2010
Springer
15 years 4 months ago
2010
Springer
Although many countermeasures have been developed for desktop and server environments, buffer overflows still pose a big threat. The same approach can be used to target mobile devi...
201
click to vote
HCI
2009
15 years 4 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...