1163 search results - page 223 / 233 » Case Studies of Model Checking for Embedded System Designs |
130
Voted
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
111
click to vote
APSEC
2003
IEEE
15 years 7 months ago
2003
IEEE
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
133
Voted
WOA
2010
14 years 11 months ago
2010
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
COGSR
2010
14 years 8 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...
114
click to vote
VLC
2010
15 years 5 days ago
2010
Many of today’s recognition approaches for hand-drawn sketches are feature-based, which is conceptually similar to the recognition of hand-written text. While very suitable for ...