2335 search results - page 272 / 467 » Type Checking Type Classes |
132
click to vote
ICDE
2006
IEEE
16 years 14 days 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...
153
click to vote
ACRI
2006
Springer
16 years 13 days 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...
163
click to vote
AOSD
2006
ACM
16 years 12 days 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...
172
click to vote
PLDI
2006
ACM
16 years 12 days 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...
167
click to vote
CCGRID
2005
IEEE
16 years 2 days 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...