2687 search results - page 399 / 538 » Formal Analysis of PKCS |
186
click to vote
QSIC
2007
IEEE
16 years 22 days ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
150
click to vote
SEFM
2007
IEEE
16 years 22 days ago
2007
IEEE
It is a common phenomenon for research projects to collect and analyse valuable data using ad-hoc information systems. These costly-to-build systems are often composed of incompat...
147
click to vote
FASE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
147
click to vote
FMCAD
2007
Springer
16 years 19 days ago
2007
Springer
—Embedded systems typically consist of a composition of a set of hardware and software IP modules. Each module is heavily optimized by itself. However, when these modules are com...
154
click to vote
MODELS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...