1969 search results - page 370 / 394 » Incremental Processing and Acceptability |
128
click to vote
3DGIS
2006
Springer
15 years 11 months ago
2006
Springer
The Democratic Republic of Timor-Leste (East Timor) attained independence on 20 May 2002, marking its separation from Indonesia. As a newly independent country, East Timor is face...
123
click to vote
CCGRID
2005
IEEE
15 years 11 months ago
2005
IEEE
Grid computing can be characterized as a distributed infrastructure that is a collection of computing resources within or across locations that are aggregated to act as a unified ...
117
click to vote
DSN
2005
IEEE
15 years 11 months ago
2005
IEEE
We propose the first model of stateful firewalls. In this model, each stateful firewall has a variable set called the state of the firewall, which is used to store some packet...
175
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...
151
click to vote
METRICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Using OTS (Off-The-Shelf) components in software development has become increasingly popular in the IT industry. OTS components can be either COTS (Commercial-Off-The-Shelf), or O...