3429 search results - page 404 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
162
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
Information linkage is becoming more and more important in this digital age. In this paper, we propose a concept tracking method, which links the news stories with the same topic ...
155
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
234
click to vote
WWW
2005
ACM
15 years 10 months ago
2005
ACM
Semantic Web Information Systems (SWIS) are Web Information Systems that use Semantic Web technologies. Hera is a modeldriven design methodology for SWIS. In Hera, models are repr...
151
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
175
click to vote
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...