660 search results - page 67 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
117
click to vote
DAC
2006
ACM
15 years 8 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
129
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: An adequate and expressive ontological representation of biological organisms and their parts requires formal reasoning mechanisms for their relations of physical aggr...
129
Voted
ICDS
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper we present a rule-based formalism for the representation, acquisition, and application of translation knowledge. The formalism is being used successfully in a Jap...
145
Voted
ASYNC
2001
IEEE
15 years 6 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
115
click to vote
ISSTA
1989
ACM
15 years 6 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...