1671 search results - page 21 / 335 » Semantics Through Pictures |
126
Voted
FCT
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
166
click to vote
HCSE
2010
15 years 1 months ago
2010
In this paper we present a novel method for desktop-to-mobile adaptation. The solution also supports end-users in customizing multi-device ubiquitous user interfaces. In particular...
115
Voted
WETICE
2007
IEEE
15 years 9 months ago
2007
IEEE
— The coordinated sharing of resources to address computational problems is a central issue in environments of Grid computing. Two important scenarios arise from this issue. Firs...
136
Voted
ECOWS
2006
Springer
15 years 5 months ago
2006
Springer
The automated composition of Web services is one of the most promising ideas and at the same time one of the most challenging research area for the taking off of serviceoriented a...
135
Voted
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Following and understanding discussions on mailing lists is a prevalent task for executives and policy makers in order to get an impression of one’s company image. However, exist...