1021 search results - page 135 / 205 » Concepts in Proof Planning |
SASO
2007
IEEE
14 years 3 months ago
2007
IEEE
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
DSOM
2007
Springer
14 years 3 months ago
2007
Springer
Web Services are an XML technology recently viewed as capable of being used for network management. A key aspect of WS in this domain is event reporting. WS-based research in this ...
EGOV
2007
Springer
14 years 3 months ago
2007
Springer
The EU is currently modernizing customs legislation and practices. Main pillars in the new vision are an intensive use of IT (Customs becomes eCustoms), partnerships between Custom...
ER
2007
Springer
14 years 3 months ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
EUC
2007
Springer
14 years 3 months ago
2007
Springer
There are many research efforts that focus on converting everyday environments into intelligent and computationally active environments that support and enhance the abilities of it...