4636 search results - page 56 / 928 » Modelling and Validation with VipTool |
CIKM
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents a cluster validation based document clustering algorithm, which is capable of identifying both important feature words and true model order (cluster number). I...
HASE
2007
IEEE
13 years 11 months ago
2007
IEEE
We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system a...
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
14 years 1 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
DSN
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
PDSE
1998
13 years 9 months ago
1998
The development of correct OO distributed software is a daunting task as soon as the distributed interactions are not trivial. This is due to the inherent complexity of distribute...