2036 search results - page 167 / 408 » A generic type-and-effect system |
193
Voted
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
As the Web platform continues to mature, we see an increasing number of amazing technologies that take Geographic Information Systems (GIS) visualization applications to new level...
203
Voted
ARCS
2005
Springer
16 years 18 days ago
2005
Springer
This paper examines how methods inspired by biological processes can be applied to the design of large-scale environment-aware sensor networks. Our ultimate goal are systems conta...
189
Voted
ARCS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract: This paper presents the initial design and implementation of a Gridbased distributed and parallel data mining system. The Grid system, namely the Business Intelligence Gr...
167
click to vote
APAQS
2000
IEEE
15 years 11 months ago
2000
IEEE
In the manufacturing domain, few new distributed systems are built ground-up; most contain wrapped legacy components. While the legacy components themselves are already well-teste...
182
Voted
APLAS
2007
ACM
15 years 11 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...