3706 search results - page 138 / 742 » OntoComP System Description |
142
Voted
PADL
2012
Springer
14 years 18 days ago
2012
Springer
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
153
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
147
click to vote
IFIP
2010
Springer
14 years 12 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
143
click to vote
SAC
2010
ACM
15 years 12 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...
124
click to vote
FDL
2005
IEEE
15 years 10 months ago
2005
IEEE
Verification and validation are key issues for today's SoC design projects. This paper presents the implementation of a SystemC based environment for transaction-based verifi...