4258 search results - page 725 / 852 » Languages and Interactive Software Development |
131
click to vote
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
132
click to vote
CIIT
2004
15 years 4 months ago
2004
Vulnerabilities arising from in-secure network protocol design and implementation present significant challenges to the network protocol community. Yet much of the focus is on sof...
119
click to vote
ODRL
2004
15 years 4 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
123
click to vote
IJVR
2008
15 years 3 months ago
2008
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
123
click to vote
SAC
2008
ACM
15 years 2 months ago
2008
ACM
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...