3828 search results - page 586 / 766 » Proof-Based System Engineering Using a Virtual System Model |
134
click to vote
COGSR
2010
15 years 1 months ago
2010
In this paper, we describe a digital scenario where we simulated the emergence of self-organized symbol-based communication among artificial creatures inhabiting a virtual world of...
154
click to vote
ICDIM
2007
IEEE
16 years 18 days ago
2007
IEEE
—The Common Instrument Middleware Architecture (CIMA) model for Web services based monitoring of remote scientific instruments is being extended and enhanced to provide a capabil...
183
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
An increasing number of applications use XML data published from relational databases. For speed and convenience, such applications routinely cache this XML data locally and acces...
153
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
183
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Customizing architectures for particular applications is a promising approach to yield highly energy-efficient designs for embedded systems. This work explores the benefits of arc...