1175 search results - page 161 / 235 » Abstract computability and algebraic specification |
151
click to vote
ETFA
2008
IEEE
16 years 21 days 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...
168
click to vote
EDOC
2005
IEEE
15 years 12 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...
141
click to vote
ICCS
2005
Springer
15 years 11 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...
177
click to vote
NLDB
2010
Springer
15 years 11 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...
144
Voted
DEXA
2000
Springer
15 years 10 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...