Sciweavers

4350 search results - page 303 / 870
» Case studies for contract-based systems
Sort
View
ICDAR
2003
IEEE
15 years 12 months ago
Individuality of Numerals
The analysis of handwritten documents from the viewpoint of determining their authorship has great bearing on the criminal justice system. In many cases, only a limited amount of ...
Sargur N. Srihari, Catalin I. Tomai, Bin Zhang, Sa...
SOCO
2009
Springer
16 years 1 months ago
Feature (De)composition in Functional Programming
Abstract. The separation of concerns is a fundamental principle in software engineering. Crosscutting concerns are concerns that do not align with hierarchical and block decomposit...
Sven Apel, Christian Kästner, Armin Grö&...
SEMWEB
2007
Springer
16 years 24 days ago
An Event-Based Approach for Semantic Metadata Interoperability
Abstract. This paper presents a method for making metadata conforming to heterogeneous schemas semantically interoperable. The idea is to make the knowledge embedded in the schema ...
Tuukka Ruotsalo, Eero Hyvönen
ASIASIM
2004
Springer
16 years 2 days ago
Simulating Cyber-intrusion Using Ordered UML Model-Based Scenarios
Abstract. Network security simulator is required for the study on the cyber intrusion and defense as cyber terrors have been increasingly popular. Until now, network security simul...
Eung Ki Park, Joo Beom Yun, Hoh Peter In
DL
1997
Springer
125views Digital Library» more  DL 1997»
15 years 11 months ago
Talking in the Library: Implications for the Design of Digital Libraries
We describe the use of ethnomethodologically-informed ethnography as a means of informing the requirements elicitation, design, development and evaluation of digital libraries. We...
Andy Crabtree, Michael Twidale, Jon O'Brien, David...