958 search results - page 53 / 192 » Model Transformation Languages and Their Implementation by B... |
117
click to vote
FASE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
104
click to vote
PADL
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Ontologies and rules are usually loosely coupled in knowledge representation formalisms. In fact, ontologies use open-world reasoning while the leading semantics for rule...
111
click to vote
BMCBI
2006
15 years 1 months ago
2006
Markov statistical methods may make it possible to develop an unsupervised learning process that can automatically identify genomic structure in prokaryotes in a comprehensive way...
192
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
113
click to vote
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...