3891 search results - page 133 / 779 » Toward nature-inspired computing |
123
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Spatio-temporal data management has progressed significantly towards efficient storage and indexing of mobility data. Typically such mobility data analytics is assumed t...
217
Voted
ICSM
2000
IEEE
15 years 8 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
119
Voted
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
127
Voted
ICFP
2000
ACM
15 years 8 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...
203
Voted
DNIS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The challenge of building consistent, available, and scalable data management systems capable of serving petabytes of data for millions of users has confronted the data m...