4814 search results - page 407 / 963 » Combining abstract interpreters |
198
click to vote
COMSWARE
2006
IEEE
16 years 27 days ago
2006
IEEE
ing a middleware abstraction layer into wireless sensor networks is a widely accepted solution to facilitate application programming and allow network organization. In this paper,...
206
click to vote
ASWEC
2005
IEEE
16 years 14 days ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
150
click to vote
BIRTHDAY
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
168
click to vote
GPCE
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
151
click to vote
ECAI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The concept of melodic similarity has become increasingly relevant in the light of music retrieval and music content processing systems. We propose a new way of measuring...