2859 search results - page 222 / 572 » A Programming Environment for Bousi-Prolog |
233
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
We describe a novel programming model for building, extending, and personalizing web-based data-driven applications. Categories and Subject Descriptors D.2.2 [Software Engineering...
156
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
166
click to vote
IWPC
2006
IEEE
16 years 16 days ago
2006
IEEE
Code obfuscation makes it harder for a security analyst to understand the malicious payload of a program. In most cases an analyst needs to study the program at the machine code l...
152
click to vote
LPAR
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
166
click to vote
SBACPAD
2003
IEEE
15 years 11 months ago
2003
IEEE
Collective communication is very useful for parallel applications, especially those in which matrix and vector data structures need to be manipulated by a group of processes. This...