323 search results - page 63 / 65 » content 2001 |
FOSSACS
2001
Springer
14 years 2 days ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
ICCS
2001
Springer
14 years 18 hour ago
2001
Springer
Abstract. A four-year undergraduate curriculum leading to a Bachelor’s degree in Computational Physics is described. The courses, texts, and seminars are research- and Web-rich, ...
LCTRTS
2001
Springer
14 years 10 hour ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...
SEMWEB
2001
Springer
14 years 2 hour ago
2001
Springer
The Semantic Web is still a web, a collection of linked nodes. Navigation of links is currently, and will remain for humans if not machines, a key mechanism for exploring the spac...
VLDB
2001
ACM
14 years 24 min ago
2001
ACM
With the advent of XML as a standard for data representation and exchange on the Internet, storing and querying XML data becomes more and more important. Several XML query languag...