Sciweavers

4377 search results - page 593 / 876
» Application Driven Software Development
Sort
View
123
Voted
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 8 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
115
Voted
HICSS
2003
IEEE
90views Biometrics» more  HICSS 2003»
15 years 7 months ago
A Prototype for Multiple Whole Genome Alignment
In this paper, we briefly describe a prototype of the software system we have developed for multiple whole genome alignment. To develop our algorithm, we have to solve several pr...
Jitender S. Deogun, Fangrui Ma, Jingyi Yang, Andre...
ASP
2003
Springer
15 years 7 months ago
A Java Wrapper for DLV
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
Francesco Ricca
CAEPIA
2003
Springer
15 years 7 months ago
Social Analysis of Multi-agent Systems with Activity Theory
The development of software systems is a complex task that requires support techniques to guide the process and solve inconsistencies in its . In the agent paradigm, the use of soc...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
FSTTCS
2003
Springer
15 years 7 months ago
Moderately Hard Functions: From Complexity to Spam Fighting
A key idea in cryptography is using hard functions in order to obtain secure schemes. The theory of hard functions (e.g. one-way functions) has been a great success story, and the ...
Moni Naor