2700 search results - page 229 / 540 » The role of abstraction in software engineering |
163
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
147
click to vote
WOA
2007
15 years 7 months ago
2007
Abstract. Upper Ontologies are quickly becoming a key technology for integrating heterogeneous knowledge coming from different sources. In this technical report we analyse 7 Upper ...
161
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
163
click to vote
USAB
2010
15 years 4 months ago
2010
Abstract. Scene segmentation is a crucial task in the structural analysis of film. State-of-the-art scene segmentation algorithms usually target fiction films (e.g. Hollywood ...
168
click to vote
XPU
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This manuscript describes a technique to perform comparisons on agile methods, based on a set of relevant features and attributes. This set includes attributes related to...