1 |
Verification Architectures: Compositional Reasoning for Real-time Systems
|
|
|
|
In: Integrated Formal Methods - IFM 2010 ; https://hal.inria.fr/inria-00525132 ; Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.152-167 (2010)
|
|
BASE
|
|
Show details
|
|
2 |
Maritime Domain Awareness via Agent Learning and Collaboration
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
3 |
Enhancing a Web Crawler with Arabic Search Capability
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
4 |
Entity Profiling for Intelligence Using the Graphical Overview of Social and Semantic Interactions of People (GOSSIP) Software Tool
|
|
|
|
In: DTIC (2010)
|
|
BASE
|
|
Show details
|
|
|
|