596 search results - page 18 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
177
click to vote
DAWAK
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Data warehouses (DW) main objective is to facilitating decisionmaking. Thus their development has to take into account DW project actor requirements. While much recent re...
141
click to vote
IEAAIE
2005
Springer
15 years 11 months ago
2005
Springer
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
148
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
145
click to vote
IVC
2008
15 years 5 months ago
2008
The best parameters defining the geometry of a visual sensor generally depend on the particular visual task the sensor is intended to be used in. However, translating task require...
171
click to vote
ISSTA
1998
ACM
15 years 9 months ago
1998
ACM
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...