Sciweavers

2027 search results - page 296 / 406
» Process Support for Tools Interoperability
Sort
View
157
Voted
XSYM
2007
Springer
150views Database» more  XSYM 2007»
15 years 8 months ago
Fast Answering of XPath Query Workloads on Web Collections
Several web applications (such as processing RSS feeds or web service messages) rely on XPath-based data manipulation tools. Web developers need to use XPath queries effectively o...
Mariano P. Consens, Flavio Rizzolo
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
15 years 8 months ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
CSCW
2006
ACM
15 years 8 months ago
SIDES: a cooperative tabletop computer game for social skills development
This paper presents a design case study of SIDES: Shared Interfaces to Develop Effective Social Skills. SIDES is a tool designed to help adolescents with Asperger’s Syndrome pra...
Anne Marie Piper, Eileen O'Brien, Meredith Ringel ...
104
Voted
IMC
2005
ACM
15 years 8 months ago
Inferring and Debugging Path MTU Discovery Failures
If a host can send packets larger than an Internet path can forward, it relies on the timely delivery of Internet Control Message Protocol (ICMP) messages advising that the packet...
Matthew J. Luckie, Kenjiro Cho, Bill Owens
110
Voted
ICFEM
2005
Springer
15 years 8 months ago
Visualizing and Simulating Semantic Web Services Ontologies
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
Jun Sun 0001, Yuan-Fang Li, Hai H. Wang, Jing Sun