Sciweavers

1581 search results - page 11 / 317
» Domain semantics of possibility computations
Sort
View
CSL
2003
Springer
14 years 1 months ago
Modular Semantics and Logics of Classes
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
Bernhard Reus
ISORC
2009
IEEE
14 years 3 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
Frédéric Mallet, Marie-Agnès ...
BMCBI
2008
102views more  BMCBI 2008»
13 years 8 months ago
Stability of the core domain of p53: insights from computer simulations
: The tumour suppressor protein p53 protein has a core domain that binds DNA and is the site for most oncogenic mutations. This domain is quite unstable compared to its homologs p...
Arumugam Madhumalar, Derek John Smith, Chandra Ver...
AML
1998
60views more  AML 1998»
13 years 8 months ago
A restricted computation model on Scott domains and its partial primitive recursive functionals
The paper builds on both a simply typed term system PRω and a computation model on Scott domains via so-called parallel typed while programs (PTWP). The former provides a notion ...
Karl-Heinz Niggl
SKG
2006
IEEE
14 years 2 months ago
Experiments Study for Scientific Texts Domain Keyword Acquisition
Scientific texts domain keyword is one of the basic elements of the text high-level semantics acquisition, domain ontology building and the knowledge representation in semantic gr...
Xiangfeng Luo, Ning Fang, Weimin Xu, Sheng Yu, Kai...