5838 search results - page 390 / 1168 » A File System for System Programming in Ubiquitous Computing |
123
Voted
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Statistical analysis of massive data is becoming indispensable to science, commerce, and society today. Such analysis requires efficient, flexible storage support and special optim...
130
click to vote
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
In the current state of practice, security properties of software systems are typically assessed through subjective, labor-intensive human evaluation. Moreover, much of the quanti...
117
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We construct a family of iterative discretization algorithms for computing sequences of finitely-supported correlated equilibria of n-player games with polynomial utility func...
132
click to vote
WADT
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
137
click to vote
ACMACE
2006
ACM
15 years 11 months ago
2006
ACM
A new type of Authoring System for 3DCG animation is developed in which a user can easily manipulate three dimensional objects in three dimensional simulated space on the computer...