4205 search results - page 359 / 841 » Typed Mobile Objects |
183
click to vote
BTW
2009
Springer
15 years 7 months ago
2009
Springer
: Similarity search and data mining on time series databases has recently attracted much attention. In this paper, we represent a data object by several time series-valued attribut...
211
click to vote
ECOOP
2008
Springer
15 years 7 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
187
Voted
CONSTRAINTS
2008
15 years 6 months ago
2008
Abstract. Essence is a formal language for specifying combinatorial problems, in a manner similar to natural rigorous specifications that use a mixture of natural language and disc...
177
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
217
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Social media sites such as Twitter continue to grow at a fast pace. People of all generations use social media to exchange messages and share experiences of their life in a timely...