3330 search results - page 182 / 666 » software 2010 |
ENTCS
2007
13 years 10 months ago
2007
Abstract. Increasing attention is being paid to the development of socalled behavioural types as a means to formally address the problem of ensuring the correct interoperation of s...
UTP
2010
13 years 9 months ago
2010
This paper presents an approach for modelling interactions between users and systems in the Unifying Theories of Programming. Working in the predicate calculus, we outline generic ...
TASE
2010
IEEE
13 years 5 months ago
2010
IEEE
The feedforward compensation of nonlinearities, i.e., hysteresis and creep, and unwanted vibrations in micromanipulators is presented in this paper. The aim is to improve the gener...
VMCAI
2010
Springer
14 years 8 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. A novel user interface that is based on collections of light...