2243 search results - page 64 / 449 » Contracts for Mobile Processes |
140
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
The recently proposed method for image compression based on multi-scale recurrent patterns, the MMP (Multidimensional Multiscale Parser) has been shown to perform well for a large...
125
click to vote
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
128
Voted
ESWS
2008
Springer
15 years 5 months ago
2008
Springer
tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...
139
Voted
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
NoSQL databases focus on analytical processing of large scale datasets, offering increased scalability over commodity hardware. One of their strongest features is elasticity, whi...
116
click to vote
ISCA
2009
IEEE
15 years 10 months ago
2009
IEEE
In the past decade, the proliferation of mobile devices has increased at a spectacular rate. There are now more than 3.3 billion active cell phones in the world—a device that we...