4520 search results - page 717 / 904 » Algebraic Techniques for Timed Systems |
185
click to vote
ISCA
2007
IEEE
16 years 26 days ago
2007
IEEE
The recently released SPEC CPU2006 benchmark suite is expected to be used by computer designers and computer architecture researchers for pre-silicon early design analysis. Partia...
152
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
In order to provide certified security services we must provide indicators that can measure the level of assurance that a complex business process can offer. Unfortunately the fo...
152
click to vote
HYBRID
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
206
click to vote
ICESS
2007
Springer
16 years 21 days ago
2007
Springer
Recently, NAND flash memory has been used for a storage device in various mobile computing devices such as MP3 players, mobile phones and laptops because of its shock-resistant, lo...
155
click to vote
ICSOC
2007
Springer
16 years 21 days ago
2007
Springer
Web services are rapidly emerging as a popular standard for sharing data and functionality among heterogeneous systems. We propose a general purpose Web Service Management System (...