4386 search results - page 758 / 878 » A Tamper-Resistant Programming Language System |
IADIS
2004
15 years 3 months ago
2004
The usability of software in rural environment is difficult for various reasons. Hence, the digital-divide remains between rural and urban population. The local language support, ...
108
click to vote
SOQUA
2004
15 years 2 months ago
2004
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
117
click to vote
SERP
2003
15 years 2 months ago
2003
A software specification is a fundamental work product that represents user’s requirements and developers can use it to further develop a software system. A software specificati...
105
click to vote
CADE
2010
Springer
15 years 2 months ago
2010
Springer
This system description provides an overview of the MUNCH reasoner for sets and multisets. MUNCH takes as the input a formula in a logic that supports expressions about sets, multi...
118
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...