1175 search results - page 161 / 235 » Abstract computability and algebraic specification |
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
Service-oriented Architectures become more and more important in connecting devices with each other. The main advantages of Service-oriented architectures er abstraction level and...
EDOC
2005
IEEE
14 years 2 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Grids should not just be facilitating advances in science and engineering; rather they should also be making an impact on our daily lives by enabling sophisticated applic...
NLDB
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. In the paper we present a method that allows an extraction of singleword terms for a specific domain. At the next stage these terms can be used as candidates for multi-wo...
DEXA
2000
Springer
14 years 1 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...