10159 search results - page 247 / 2032 » System Design Validation Using Formal Models |
140
click to vote
ENTCS
2008
15 years 3 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
214
click to vote
ISSS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
132
click to vote
ICSEA
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
143
click to vote
TWC
2011
14 years 10 months ago
2011
—In this paper, the performance of the ALOHA and CSMA MAC protocols are analyzed in spatially distributed wireless networks. The main system objective is correct reception of pac...
160
click to vote
STORYTELLING
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. During the fast evolution of automatic direction of Interactive Digital Storytelling many description of similar ideas have appeared in the academic literature. System ar...