1516 search results - page 183 / 304 » The Increasing Nvalue Constraint |
137
Voted
AGILE
2009
Springer
2009
Springer
Enhancing 3D City Models with Heterogeneous Spatial Information: Towards 3D Land Information Systems
15 years 10 months ago
Spatial and georeferenced information plays an important role in urban land management processes such as spatial planning and environmental management. As many of the processes ar...
130
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In last years, trust and reputation has been gaining increasing interest in multi-agent systems (MAS). To address this issue, we propose in this paper a maintenance-based trust me...
118
click to vote
FMCAD
2009
Springer
15 years 10 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
111
click to vote
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
143
click to vote
IWANN
2009
Springer
15 years 10 months ago
2009
Springer
Generating test data for formal state based specifications is computationally expensive. This paper improves a framework that addresses this issue by representing the test data ge...