1581 search results - page 203 / 317 » Mechanizing Inductive Reasoning |
133
click to vote
RTCSA
2005
IEEE
15 years 8 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
140
click to vote
SKG
2005
IEEE
15 years 8 months ago
2005
IEEE
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
109
click to vote
TPHOL
2005
IEEE
15 years 8 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
111
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
121
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...