1216 search results - page 209 / 244 » Hybrid type checking |
106
click to vote
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
Document-centric XML document creation is a process of marking up textual content rather than typing text in a predefined structure. It turns out that, although the final docume...
125
Voted
ACRI
2006
Springer
15 years 10 months ago
2006
Springer
We develop two models for Myxobacteria swarming, a modified Lattice Gas Cellular Automata (LGCA) model and an off-lattice CA model. In the LGCA model each cell is represented by on...
125
click to vote
AOSD
2006
ACM
15 years 10 months ago
2006
ACM
In the web services environment software development can involve writing both object-oriented programs and XML transformations. This can be seen in the popular Web Services archit...
139
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...
138
click to vote
CCGRID
2005
IEEE
15 years 9 months ago
2005
IEEE
We have designed a stackable file system called Redundant Array of Independent Filesystems (RAIF). It combines the data survivability properties and performance benefits of trad...