4211 search results - page 96 / 843 » A formal approach to MASQ |
114
click to vote
CIBB
2009
15 years 1 months ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
106
click to vote
FDL
2008
IEEE
15 years 26 days ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
118
click to vote
CAI
2006
Springer
15 years 23 days ago
2006
Springer
In this paper, formal verification methodologies and the SPR (Safety Problem Resolver) model checking tool are used for verifying a security model's safety. The SPR tool makes...
106
Voted
ENTCS
2006
15 years 22 days ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
JSAI
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a proposal for the integration of information structure in a unification-based grammar of Danish. Three information structure features – topic, focus and bac...