571 search results - page 52 / 115 » Modeling and Analysis of Space Based Transceivers |
ENTCS
2007
13 years 8 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
AVSS
2007
IEEE
14 years 3 months ago
2007
IEEE
In recent years, the use of Intelligent Closed-Circuit Television (ICCTV) for crime prevention and detection has attracted significant attention. Existing face recognition system...
ACSD
2010
IEEE
13 years 6 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
CSDA
2008
13 years 8 months ago
2008
Tree models are valuable tools for predictive modeling and data mining. Traditional tree-growing methodologies such as CART are known to suffer from problems including greediness,...
GROUP
1997
ACM
14 years 27 days ago
1997
ACM
In this paper, we present a cooperativehypermediabased process support system aimed on
exible business processes. An analysis of the communication, coordination and cooperation r...