2268 search results - page 167 / 454 » The Essence of Form Abstraction |
FC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...
FM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
HYBRID
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. CPDPs (Communicating Piecewise Deterministic Markov Processes) can be used for compositional specification of systems from the class of stochastic hybrid processes forme...
ICAPR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we propose a novel technique for automatic table detection in document images. Lines and tables are among the most frequent graphic, non-textual entities i...
ICDCIT
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Clustering is a widely used approach to ease implementation of various problems such as routing and resource management in mobile ad hoc networks (MANET)s. We propose a n...