1153 search results - page 150 / 231 » Compositional Specification Calculus for Information Systems... |
127
Voted
MIDDLEWARE
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
143
click to vote
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The usefulness of design patterns in forward engineering is already well-known and several tools provide support for their application in the development of software systems. Whil...
132
Voted
AI
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
121
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The TermSciences initiative aims at building a multi-purpose and multi-lingual knowledge system from different source vocabularies produced by major French research institutions a...
144
click to vote
CIKM
2009
Springer
15 years 10 months ago
2009
Springer
The skyline operator was first proposed in 2001 for retrieving interesting tuples from a dataset. Since then, 100+ skyline-related papers have been published; however, we discove...