Sciweavers

1581 search results - page 203 / 317
» Mechanizing Inductive Reasoning
Sort
View
RTCSA
2005
IEEE
15 years 8 months ago
Research Issues in the Development of Context-Aware Middleware Architectures
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...
Hung Quoc Ngo, Anjum Shehzad, Kim Anh Pham Ngoc, S...
SKG
2005
IEEE
15 years 8 months ago
An Agent-based Peer-to-Peer Grid Computing Architecture
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
Jia Tang, Minjie Zhang
TPHOL
2005
IEEE
15 years 8 months ago
A Design Structure for Higher Order Quotients
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...
Peter V. Homeier
CAISE
2005
Springer
15 years 8 months ago
An Ontological Approach for Eliciting and Understanding Needs in e-Services
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...
Ziv Baida, Jaap Gordijn, Hanne Sæle, Hans Ak...
ECOOP
2005
Springer
15 years 8 months ago
Expressive Pointcuts for Increased Modularity
Abstract. In aspect-oriented programming, pointcuts are used to describe crossstructure. Pointcuts that abstract over irrelevant implementation details are clearly desired to bette...
Klaus Ostermann, Mira Mezini, Christoph Bockisch