3825 search results - page 224 / 765 » The Language of Time: A Reader |
143
click to vote
CHI
2008
ACM
16 years 6 months ago
2008
ACM
By analyzing features of users' typing, Automatic Whiteout++ detects and corrects up to 32.37% of the errors made by typists while using a mini?QWERTY (RIM Blackberry style) ...
164
click to vote
ICDT
2007
ACM
16 years 20 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
201
click to vote
IFIP
2007
Springer
16 years 20 days ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
182
click to vote
CBMS
2006
IEEE
16 years 17 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
197
click to vote
ISORC
2005
IEEE
16 years 2 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...