Sciweavers

3943 search results - page 73 / 789
» Architecture-Level Requirements Specification
Sort
View
ICST
2009
IEEE
15 years 3 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
WWW
2007
ACM
16 years 6 months ago
A password stretching method using user specific salts
In this paper, we present a password stretching method using user specific salts. Our scheme takes similar time to stretch a password as recent password stretching algorithms, but...
ChangHee Lee, Heejo Lee
130
Voted
SEMWEB
2001
Springer
15 years 10 months ago
Jena: Implementing the RDF Model and Syntax Specification
Some aspects of W3C's RDF Model and Syntax Specification require careful reading and interpretation to produce a conformant implementation. Issues have arisen around anonymou...
Brian McBride
DANTE
1999
IEEE
144views Database» more  DANTE 1999»
15 years 10 months ago
Issues in Using Specifications to Improve Content-Based Search of Multimedia Data
Many current multimedia database management systems perform content-based retrieval of images by extracting the values of various features from every object stored in their system...
Leonard Brown, Le Gruenwald, Gregory D. Speegle
148
Voted
FM
2006
Springer
142views Formal Methods» more  FM 2006»
15 years 9 months ago
Feature Specification and Static Analysis for Interaction Resolution
While designing a service-oriented system, deciding whether a service interaction is desired or harmful is a subjective choice which depends on the requirements expressed by the us...
Marc Aiguier, Karim Berkani, Pascale Le Gall