1175 search results - page 143 / 235 » Abstract computability and algebraic specification |
CMSB
2009
Springer
14 years 26 days ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
GI
2009
Springer
14 years 24 days ago
2009
Springer
Abstract: Voter privacy and verifiability are fundamental security concepts for electronic voting. Existing literature on electronic voting provides many definitions and interpreta...
EDO
2000
Springer
14 years 16 days ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
EDO
2000
Springer
14 years 16 days ago
2000
Springer
Developing a distributed application is hard due to the complexity inherent to distributed communication. Moreover, distributed object communication technology is always changing,...
ICCS
2000
Springer
14 years 16 days ago
2000
Springer
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...