Sciweavers

2934 search results - page 228 / 587
» Universality in Multi-Agent Systems
Sort
View
CHI
2009
ACM
16 years 7 months ago
Jadeite: improving API documentation using usage information
Jadeite is a new Javadoc-like API documentation system that takes advantage of multiple users' aggregate experience to reduce difficulties that programmers have learning new ...
Jeffrey Stylos, Brad A. Myers, Zizhuang Yang
PLDI
2004
ACM
15 years 12 months ago
Parametric regular path queries
Regular path queries are a way of declaratively expressing queries on graphs as regular-expression-like patterns that are matched against paths in the graph. There are two kinds o...
Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D....
WEBNET
2000
15 years 7 months ago
How the Wild Wide Web was Won: Online Web Developer Training
: As the Web grows in importance in institutional settings, so does the need for training. Universities are looking at the daunting task of putting more information and services on...
John Sharkey, Kitzzy Aviles, Barbara Ferguson
SAS
2009
Springer
119views Formal Methods» more  SAS 2009»
16 years 7 months ago
Abstraction Refinement for Quantified Array Assertions
ion Refinement for Quantified Array Assertions Mohamed Nassim Seghir1, , Andreas Podelski1 , and Thomas Wies1,2 1 University of Freiburg, Germany 2 EPFL, Switzerland Abstract. We p...
Mohamed Nassim Seghir, Andreas Podelski, Thomas Wi...
HICSS
2008
IEEE
124views Biometrics» more  HICSS 2008»
16 years 1 months ago
Learning Object Development and Repository Design for Digital Government Instruction
As the field of e-government expands and grows, the number of academic courses, professional workshops, online courses, and continuing education opportunities in this field also i...
Nathan Botts, Benjamin L. Schooley, Thomas A. Hora...