3133 search results - page 285 / 627 » Difference systems of sets and cyclotomy |
351
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
270
click to vote
ICDE
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we present an adaptive load diffusion operator to enable scalable processing of Multiway Windowed Stream Joins (MWSJs) using a cluster system. The load diffusion is...
196
click to vote
ESAW
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
146
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...
147
click to vote
ICRA
2006
IEEE
16 years 24 days ago
2006
IEEE
– We address the problem of knee pathology assessment by using screw theory to describe the knee motion and by using the screw representation of the motion as an input to a machi...