3828 search results - page 290 / 766 » Proof-Based System Engineering Using a Virtual System Model |
154
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
223
click to vote
PRESENCE
2008
15 years 6 months ago
2008
Effective, real-time training of health care professionals in invasive procedures is a challenging task. Furthermore, assessing in practice the acquisition of the dexterity and sk...
212
click to vote
WCET
2010
15 years 4 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
194
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper we present a new document representation model based on implicit user feedback obtained from search engine queries. The main objective of this model is to achieve be...
196
click to vote
IJWIS
2007
15 years 6 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...