4311 search results - page 308 / 863 » Code Generation for Distributed Systems |
225
click to vote
ICAIL
2003
ACM
15 years 12 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
237
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
165
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The ability to coordinate effectively is critical for agents to accomplish their goals in a multi-agent system. A number of researchers have modeled the coordination problem for m...
192
click to vote
SP
2007
IEEE
16 years 29 days ago
2007
IEEE
The integrity of kernel code and data is fundamental to the integrity of the computer system. Tampering with the kernel data is an attractive venue for rootkit writers since malic...
192
click to vote
SBCCI
2004
ACM
16 years 3 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...