169 search results - page 4 / 34 » Towards Verification of Storyboards |
PERSUASIVE
2010
Springer
13 years 6 months ago
2010
Springer
Though a variety of persuasive health applications have been designed with a preventive standpoint toward diseases in mind, many have been designed largely for a general audience. ...
ICIW
2007
IEEE
14 years 2 months ago
2007
IEEE
Ensuring dependability and security of Peer-toPeer (P2P) systems is an intricate task due to the autonomous and volatile nature of peers and the decentralization that characterize...
ICDAR
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper, a new method for off-line writer verification and identification is proposed which encodes writer features as a mix of typical handwriting styles, written by so-cal...
CASE
2011
12 years 7 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...