4763 search results - page 884 / 953 » On the Execution of Deep Models |
189
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
144
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
142
click to vote
MOBIQUITOUS
2005
IEEE
15 years 11 months ago
2005
IEEE
Ubiquitous Computing Environments feature massively distributed systems containing a large number of devices, services and applications that help end-users perform various kinds o...
151
click to vote
STEP
2005
IEEE
15 years 11 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
172
click to vote
ACMICEC
2005
ACM
15 years 11 months ago
2005
ACM
We study the impact of a set of industry, firm- and e-commerce-related factors on Internet firm survival. Through the use of one age-based and another calendar time-based Bayesian...