3119 search results - page 208 / 624 » Abstract Requirement Analysis in Multiagent System Design |
175
Voted
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
Shark is a research data analysis system built on a novel rained distributed shared-memory abstraction. Shark marries query processing with deep data analysis, providing a unifie...
130
Voted
IMR
2005
Springer
15 years 9 months ago
2005
Springer
Today, finite element technologies allow engineers to analyze complex assemblies and subsystems. With CPU power constantly increasing, it is not unreasonable to state that the eng...
167
Voted
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
156
Voted
ADBIS
2010
Springer
15 years 3 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
118
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...