3564 search results - page 456 / 713 » Evaluating a Formal Modelling Language |
135
Voted
ASE
2007
15 years 3 months ago
2007
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
112
click to vote
JSAT
2006
15 years 3 months ago
2006
An analysis of the SAT 2005 sub-competition on random instances is given. This year this (sub-)competition set-up was geared to establish a basic setting, focusing on the instance...
145
click to vote
VR
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...
121
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Over the years, our group, led by Bob Balzer, designed and implemented three domain-specific languages for use by outside people in real situations. The first language described t...
137
Voted
AI
2004
Springer
15 years 3 months ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...