596 search results - page 32 / 120 » On the Use of Visualization in Formal Requirements Specifica... |
162
Voted
WSC
2004
15 years 7 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...
159
click to vote
B
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
177
Voted
IJCNN
2006
IEEE
16 years 7 hour ago
2006
IEEE
- This paper presents a neurologically inspired vergence control model that uses the optimization of the disparity error between interlaced cortical maps incident on the visual cor...
143
click to vote
PERVASIVE
2010
Springer
15 years 8 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
195
click to vote
GLOBECOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Security is a critical issue in dynamic and open distributed environments such as network-based services or wireless networks. To ensure that a certain level of security is maintai...