10916 search results - page 2079 / 2184 » On Constructive Connectives and Systems |
193
click to vote
CHARME
2005
Springer
15 years 12 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
184
click to vote
ECOOP
2005
Springer
15 years 12 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
176
click to vote
EGC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe the idea of a Science Gateway, an applicationspecific task wrapped as a web service, and some examples of these that are being implemented on the US TeraGrid...
179
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we will concentrate on the conceptual modeling and semantics of service delegation and alignment in information systems. In delegation, one typically has the situatio...
158
click to vote
PKDD
2005
Springer
15 years 12 months ago
2005
Springer
In many classification and data-mining applications the user does not know a priori which distance measure is the most appropriate for the task at hand without examining the produ...