2171 search results - page 91 / 435 » A Generic Process Algebra |
109
Voted
B
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
82
Voted
SCALESPACE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We propose a new complete method to extract significant description(s) of planar curves according to constant curvature segments. This method is based (i) on a multi-sca...
115
Voted
SEMWIKI
2008
15 years 2 months ago
2008
Abstract. Weaving the Semantic Web the research community is working on publishing publicly available data sources as RDF data on the Web. To facilitate the adoption of Semantic We...
104
Voted
CN
2006
2006
A generic characterization of the overheads imposed by IPsec and associated cryptographic algorithms
15 years 26 days ago
This paper presents an assessment of the communication overheads of IPsec and evaluates the feasibility of deploying it on handheld devices for the UMTS architecture. A wide range...
222
Voted
SCP
2011
14 years 7 months ago
2011
In the field of scientific computing there is a manifold of software applications and tools available which provide methods and libraries for the solution of very specific prob...