10159 search results - page 1884 / 2032 » System Design Validation Using Formal Models |
VIS
2004
IEEE
14 years 9 months ago
2004
IEEE
In this article we explore techniques to detect and visualize features in data from molecular dynamics (MD) simulations. Although the techniques proposed are general, we focus on ...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
MapReduce is emerging as an important programming model for large-scale data-parallel applications such as web indexing, data mining, and scientific simulation. Hadoop is an open-...
RTSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
DEXAW
2007
IEEE
14 years 2 months ago
2007
IEEE
In line with the growing success of e-commerce demands for an open infrastructure providing security services are growing stronger. Authentication and Authorisation Infrastructure...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Future wireless communication systems require highly efficient use of radio parameters. Adaptability to changing environment conditions and to service application requirements ...