4340 search results - page 271 / 868 » Formal Methods and Cryptography |
165
Voted
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
We investigate the complexity of enumerating pseudo-intents in the lectic order. We look at the following decision problem: Given a formal context and a set of n pseudo-intents det...
152
click to vote
FM
2009
Springer
16 years 25 days ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
147
click to vote
HICSS
2007
IEEE
16 years 17 days ago
2007
IEEE
We propose a framework for constructing secure systems at the architectural level. This framework is composed of an implementation-oriented formalization of a system’s architect...
188
click to vote
AGTIVE
2007
Springer
16 years 13 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
147
click to vote
MDAI
2007
Springer
16 years 11 days ago
2007
Springer
Formal concept analysis (FCA) is a method of exploratory data analysis. The data is in the form of a table describing relationship between objects (rows) and attributes (columns), ...