Sciweavers

2810 search results - page 281 / 562
» Contract-Based Component System Design
Sort
View
165
Voted
CCS
2009
ACM
15 years 10 months ago
Towards secure dataflow processing in open distributed systems
Open distributed systems such as service oriented architecture and cloud computing have emerged as promising platforms to deliver software as a service to users. However, for many...
Juan Du, Wei Wei, Xiaohui Gu, Ting Yu
SAC
2005
ACM
15 years 9 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
133
Voted
CIVR
2004
Springer
194views Image Analysis» more  CIVR 2004»
15 years 8 months ago
A Test-Bed for Region-Based Image Retrieval Using Multiple Segmentation Algorithms and the MPEG-7 eXperimentation Model: The Sch
The aim of the SCHEMA Network of Excellence is to bring together a critical mass of universities, research centers, industrial partners and end users, in order to design a referenc...
Vasileios Mezaris, Haralambos Doulaverakis, Raul M...
138
Voted
ICTAI
1999
IEEE
15 years 7 months ago
A Practical Student Model in an Intelligent Tutoring System
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
Yujian Zhou, Martha W. Evens
123
Voted
KESAMSTA
2010
Springer
15 years 5 months ago
Modelling Dynamic Forgetting in Distributed Information Systems
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
Nicolas Höning, Martijn C. Schut