8627 search results - page 1581 / 1726 » Software Engineering Using RATionale |
158
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a swarm grammar system that makes use of bio-inspired mechanisms of reproduction, communication and construction in order to build three-dimensional struc...
204
click to vote
GIS
2008
ACM
15 years 7 months ago
2008
ACM
We describe a prototype software system for investigating novel human-computer interaction techniques for 3-D geospatial data. This system, M4-Geo (Multi-Modal Mesh Manipulation o...
201
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
178
click to vote
SIAMJO
2011
15 years 1 months ago
2011
This is a correction to R. B. Kearfott and S. Hongthong’s article [SIAM J. Optim., 16 (2005), pp. 418–433]. DOI. 10.1137/100816080 There are errors in column 4 (entitled “Und...
170
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Processing and storage of confidential or critical information is an every day occurrence in computing systems. The trustworthiness of computing devices has become an important co...