10159 search results - page 322 / 2032 » System Design Validation Using Formal Models |
146
Voted
WIOPT
2010
IEEE
15 years 2 months ago
2010
IEEE
—We consider a Ferry based Wireless Local Area Network (FWLAN), in which information is forwarded from a base station to sensors, or gathered from sensors to a base station using...
137
Voted
WSC
1997
15 years 5 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...
143
click to vote
DEBS
2007
ACM
15 years 7 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
123
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
- This paper presents a comparison between three different high-level modeling approaches for embedded systems design, focusing on systems that require dataflow models. The propose...
168
click to vote
CLIMA
2006
15 years 5 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...