6201 search results - page 1152 / 1241 » Implementation of Axiomatic Language |
127
click to vote
JSS
2008
15 years 4 months ago
2008
This article presents the research work that exploits using XML (Extensible Markup Language) to represent different types of information in mobile agent systems, including agent c...
141
click to vote
NLE
2008
15 years 4 months ago
2008
Words in Semitic texts often consist of a concatenation of word segments, each corresponding to a Part-of-Speech (POS) category. Semitic words may be ambiguous with regard to thei...
161
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
159
Voted
JFP
2007
15 years 4 months ago
2007
The LF logical framework codifies a methodology for representing deductive systems, such as programming languages and logics, within a dependently typed λ-calculus. In this meth...
162
click to vote
JSW
2007
15 years 4 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...