6343 search results - page 992 / 1269 » Development of a Cartographic Language |
169
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
179
click to vote
DMSN
2004
ACM
16 years 3 days ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
212
click to vote
GSEM
2004
Springer
16 years 1 days ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
189
click to vote
IPPS
2003
IEEE
15 years 12 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
224
click to vote
WECWIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Service portals are systems which expose a bundle of web services to the user, allowing the specification and subsequent execution of complex tasks defined over these individual...