592 search results - page 78 / 119 » Can Component Service-Based Systems Be Proved Correct |
ANLP
1992
13 years 8 months ago
1992
This paper describes an approach to the treatment of nominal compounds in a machine translation project employing a modern unification-based system. General problems connected wit...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
An increasing concern amongst designers and integrators of military and defense-related systems is the underlying security of the individual microprocessor components that make up ...
DAC
2009
ACM
13 years 11 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...
DIMVA
2006
13 years 9 months ago
2006
This paper presents ViSe, a virtual security testbed, and demonstrates how it can be used to efficiently study computer attacks and suspect tools as part of a computer crime recons...
CIKM
2011
Springer
12 years 7 months ago
2011
Springer
Factoid questions often contain one or more assertions (facts) about their answers. However, existing question-answering (QA) systems have not investigated how the multiple facts ...