Sciweavers

13277 search results - page 2453 / 2656
» An Approach to Clustering Abstracts
Sort
View
EUSFLAT
2009
162views Fuzzy Logic» more  EUSFLAT 2009»
15 years 5 months ago
Early Start Can Inhibit Learning: Towards A New Explanation
The age at which we teach different topics change. If it turns out that students do not learn, say, reading by the time they should, a natural idea is to start teaching them earlie...
Olga Kosheleva
255
Voted
EXACT
2009
15 years 5 months ago
Towards the Explanation of Workflows
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
James Michaelis, Li Ding, Deborah L. McGuinness
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 5 months ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
FORTE
2009
15 years 5 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
FQAS
2009
Springer
186views Database» more  FQAS 2009»
15 years 5 months ago
Dynamically Personalizing Search Results for Mobile Users
Abstract. We introduce a novel situation-aware approach to personalize search results for mobile users. By providing a mobile user with appropriate information that dynamically sat...
Ourdia Bouidghaghen, Lynda Tamine-Lechani, Mohand ...
« Prev « First page 2453 / 2656 Last » Next »