18429 search results - page 3339 / 3686 » Typing dynamic typing |
189
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper reports about the workshop Model Driven Development of Advanced User Interfaces (MDDAUI) which was held on October 2nd, 2005 at the MoDELS/UML 2005 conference ...
191
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
176
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
181
click to vote
WINE
2005
Springer
16 years 8 days ago
2005
Springer
We consider a class of networks where n agents need to send their traffic from a given source to a given destination over m identical, non-intersecting, and parallel links. For suc...
219
click to vote
CSCW
2004
ACM
16 years 7 days ago
2004
ACM
Researchers seeking alternatives to traditional desktop computers have begun exploring the potential collaborative benefits of digital tabletop displays. However, there are still ...