982 search results - page 91 / 197 » Model Based Multi-Level Prototyping |
118
click to vote
ACMICEC
2006
ACM
15 years 8 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
DAC
2007
ACM
15 years 6 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
137
click to vote
SEC
1996
15 years 3 months ago
1996
This paper introduces and describes an innovative modelling approach which utilises models that are synthesised through approximate calculations of user actions and extensive repr...
144
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
118
click to vote
NLDB
2000
Springer
15 years 5 months ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...