5015 search results - page 580 / 1003 » Model Checking a Path |
178
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...
160
click to vote
EUROCAST
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We report computer-aided modeling and simulation of evolution in biological systems with living organisms as effect of extremum properties of classical statistical entro...
176
click to vote
WETICE
2006
IEEE
16 years 26 days ago
2006
IEEE
1 Distributed and collaborative applications are rapidly converging towards the adoption of a computing paradigm based on service-oriented architectures, according to which an appl...
175
click to vote
DAS
2010
Springer
15 years 11 months ago
2010
Springer
Most of the Indian scripts do not have any robust commercial OCRs. Many of the laboratory prototypes report reasonable results at recognition/classification stage. However, word ...
168
click to vote
INTERWORKING
2000
15 years 10 months ago
2000
In a packet switching based scenario, optical technologies can not completely overcome the problem of insufficient network capacity, due to limitations produced by the presence of ...