687 search results - page 99 / 138 » Specification and Verification of Model Transformations Usin... |
128
Voted
ENTCS
2006
15 years 15 days ago
2006
While a lot of progress has been made in improving analyses and tools that aid software development, less effort has been spent on studying how such tools are commonly used in pra...
114
click to vote
ACMSE
2005
ACM
15 years 2 months ago
2005
ACM
The popularity of mobile devices has propelled the development of many useful location-aware applications. However, the heterogeneity of mobile devices necessitates that the softw...
105
Voted
ICSE
2007
IEEE-ACM
16 years 17 days ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
86
Voted
ASPDAC
2005
ACM
15 years 2 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
71
Voted
MVA
1992
15 years 1 months ago
1992
This paper describes a method to perform distance measurements inside buildings using a single video camera mounted on a mobile robot. This algorithm is designed specifically to c...