2191 search results - page 142 / 439 » Improving the Efficiency of Non-Deterministic Computations |
201
Voted
MOBISYS
2009
ACM
16 years 6 months ago
2009
ACM
Urban sensing, participatory sensing, and user activity recognition can provide rich contextual information for mobile applications such as social networking and location-based se...
188
click to vote
FPGA
2004
ACM
15 years 9 months ago
2004
ACM
Pattern matching for network security and intrusion detection demands exceptionally high performance. Much work has been done in this field, and yet there is still significant roo...
142
click to vote
MSS
2007
IEEE
16 years 10 days ago
2007
IEEE
The volume of online data content has shown an un precedented growth in recent years. Fueling this growth are new federal regulations which warrant longer data re tention and ...
192
Voted
FM
2008
Springer
15 years 7 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
214
click to vote
TKDE
2002
15 years 5 months ago
2002
On-Line Analytical Processing (OLAP) refers to the technologies that allow users to efficiently retrieve data from the data warehouse for decision-support purposes. Data warehouses...