Sciweavers

7404 search results - page 1211 / 1481
» New Tools in Education
Sort
View
WORDS
2005
IEEE
16 years 11 days ago
Progressive Ranking and Composition of Web Services Using Covering Arrays
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...
Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai
APLAS
2005
ACM
16 years 11 days ago
Using Datalog with Binary Decision Diagrams for Program Analysis
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
John Whaley, Dzintars Avots, Michael Carbin, Monic...
GRAPHITE
2005
ACM
16 years 11 days ago
A VR platform for field-scale phenomena: an application to fire spread experiments
Digital computers are powerful tools for studying natural phenomena at large-scales. Nevertheless, custom-made methods have to be developed to digitalize, simulate and finally vis...
Alexandre Muzy, Nicolas Fauvet, Patrick Bourdot, F...
ICAIL
2005
ACM
16 years 11 days ago
Computational Linguistic Support for Legal Ontology Construction
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
Stephan Walter, Manfred Pinkal
176
Voted
IMC
2005
ACM
16 years 11 days ago
Novel Approaches to End-to-End Packet Reordering Measurement
By providing the best-effort service, the Internet Protocol (IP) does not maintain the same order of packets sent out by a host. Therefore, due to the route change, parallelism in...
Xiapu Luo, Rocky K. C. Chang
« Prev « First page 1211 / 1481 Last » Next »