2836 search results - page 479 / 568 » Model Checking for Software Architectures |
137
click to vote
NSDI
2008
15 years 7 months ago
2008
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
183
click to vote
JSA
2010
15 years 10 days ago
2010
During the past few years, embedded digital systems have been requested to provide a huge amount of processing power and functionality. A very likely foreseeable step to pursue th...
255
click to vote
ICDE
2005
IEEE
16 years 7 months ago
2005
IEEE
We demonstrate a web service and client application for querying and visualizing datasets defined over arbitrary topological grids. Such gridded datasets are produced by Earth sci...
167
click to vote
ARC
2009
Springer
16 years 10 days ago
2009
Springer
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...
163
click to vote
ICDE
2007
IEEE
15 years 12 months ago
2007
IEEE
A Web service is a software system designed to support interoperable application-to-application interactions over the Internet. Recently, there has been a growing interest in Web ...