4211 search results - page 544 / 843 » A formal approach to MASQ |
192
click to vote
CALCO
2005
Springer
16 years 8 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
178
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
186
click to vote
CAV
2005
Springer
16 years 8 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
161
click to vote
COORDINATION
2005
Springer
16 years 8 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
170
click to vote
ER
2005
Springer
16 years 8 days ago
2005
Springer
Measuring semantic similarity among concepts is the core method for assessing the degree of semantic interoperability within and between ontologies. In this paper, we propose to ex...