3456 search results - page 455 / 692 » Algorithms for Interface Synthesis |
169
click to vote
WIKIS
2009
ACM
16 years 1 months ago
2009
ACM
This exploratory study investigates the bipartite network of articles linked by common editors in Wikipedia, ‘The Free Encyclopedia that Anyone Can Edit’. We use the articles ...
179
click to vote
AICCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
162
click to vote
MMM
2008
Springer
16 years 27 days ago
2008
Springer
From cartoons to medical research world, from the field of arts to scientific visualization, everyone related to these areas have been continuously using 3D motion capture data. Qu...
144
click to vote
SCAM
2008
IEEE
16 years 26 days ago
2008
IEEE
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
192
click to vote
IAT
2007
IEEE
16 years 25 days ago
2007
IEEE
The paper presents security platform based on agents as an efficient and robust solution for high-performance intrusion detection system designed for deployment on highspeed netw...