2004 search results - page 137 / 401 » Comparison of Model Checking Tools for Information Systems |
158
Voted
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...
154
click to vote
ISMAR
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
154
Voted
ENTCS
2006
15 years 5 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
147
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
123
click to vote
METRICS
1999
IEEE
15 years 9 months ago
1999
IEEE
Function point analysis(FPA) was proposedto help measure the size of a computerizedbusiness information system. It is widely used in the actual software development. However, it h...