279 search results - page 32 / 56 » Applying Reduction Techniques to Software Functional Require... |
101
click to vote
SIMULATION
2011
14 years 4 months ago
2011
From a modelling and simulation perspective, studying dynamic systems consists of focusing on changes in states. According to the precision of state changes, generic algorithms ca...
COMCOM
2000
14 years 9 months ago
2000
: Security is an important issue for the widespread deployment of applications based on software agent technology. It is generally agreed that without the proper countermeasures in...
ASE
2005
14 years 9 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
WCRE
1999
IEEE
15 years 2 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper we propose a locally adaptive image threshold technique via variational energy minimization. The novelty of the proposed method is that from an image it automaticall...