8808 search results - page 1430 / 1762 » Process of Software Evolution |
160
click to vote
MODELS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
182
click to vote
REFSQ
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
178
click to vote
VLDB
2007
ACM
16 years 25 days ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
204
click to vote
ACSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
170
click to vote
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...