1541 search results - page 284 / 309 » Tools and Techniques for Model Checking Networked Programs |
141
click to vote
ANOR
2010
14 years 10 months ago
2010
Operations Research is probably one of the most successful fields of applied mathematics used in Economics, Physics, Chemistry, almost everywhere onehastoanalyzehugeamountsofdata.L...
CONSTRAINTS
2007
15 years 13 days ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
111
Voted
ANSS
2007
IEEE
15 years 6 months ago
2007
IEEE
During the last few years, continuous progresses in wireless communications have opened new research fields in computer networking, aimed at extending data networks connectivity ...
121
Voted
BMCBI
2008
15 years 17 days ago
2008
imately 20 million abstracts. Browsing such a huge repository to find relevant information as well as providing elearning service requires new generation of interfaces. Methods suc...
112
Voted
JIPS
2010
14 years 7 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...