2700 search results - page 350 / 540 » The role of abstraction in software engineering |
200
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
132
click to vote
ARCS
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. This paper describes a job distribution system which focuses on standard desktop worker nodes in inhomogeneous and unreliable environments. The system is suited for gener...
151
click to vote
FSEN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
143
click to vote
GI
2007
Springer
16 years 19 days ago
2007
Springer
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
184
click to vote
IIIX
2006
ACM
16 years 13 days ago
2006
ACM
Abstract. Use of document genre in information retrieval systems has the potential to improve the task-appropriateness of results. However, genre classification remains a challengi...