1146 search results - page 96 / 230 » Applications of the TAMPR Transformation System |
145
click to vote
EUROCAST
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper presents a new general method for obstacle representation in the configuration space (C-space) for redundant robots. The method is based on the analytical dec...
142
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
This demonstration presents iPDA, a system to support privacy-preserving data access in location-based mobile services. The iPDA system consists of three main components: 1) a mob...
127
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a SAT-based approach to the task and message allocation problem of distributed real-time systems with hierarchical architectures. In contrast to the heuristic approache...
142
click to vote
ASWEC
2010
IEEE
15 years 4 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
190
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. More and more software systems use a browser as the universal graphical user interface. As a consequence these applications inherit browser navigation as part of their in...