1912 search results - page 336 / 383 » XML Technologies and Software Engineering |
FOSSACS
2008
Springer
15 years 20 days ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
ISSTA
2007
ACM
15 years 20 days ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
113
click to vote
AVI
2006
15 years 16 days ago
2006
Increasingly, public transportation systems are equipped with Global Positioning Systems (GPS) connected to control centers through wireless networks. Controllers use this infrast...
117
click to vote
IJWIS
2006
14 years 11 months ago
2006
: Using Internet-enabled mobile handheld devices to access the World Wide Web is a promising addition to the Web and traditional e-commerce. Mobile handheld devices provide conveni...
TASE
2008
IEEE
14 years 11 months ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...