Sciweavers

1580 search results - page 60 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
TGC
2010
Springer
15 years 4 months ago
A Java Inspired Semantics for Transactions in SOC
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
Laura Bocchi, Emilio Tuosto
SIGSOFT
1998
ACM
15 years 10 months ago
On-Line Change Mechanisms
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
Sylvia Stuurman, Jan van Katwijk
IWEC
2007
15 years 7 months ago
A Survey on Projector-Based PC Clustered Distributed-Rendering Large Screen Displays and Techniques
Large screen display systems are common display systems nowadays. Especially projector-based PC cluster large screen display systems share most of large screen display system marke...
Munjae Song, Seongwon Park
ICDAR
2011
IEEE
14 years 5 months ago
Embedding a Mathematical OCR Module into OCRopus
—This paper describes embedding a mathematical formula recognition module into the OCR system OCRopus aiming at developing a OCR system for scientific and technical documents wh...
Shinpei Yamazaki, Fumihiro Furukori, Qinzheng Zhao...
SIGADA
2004
Springer
15 years 11 months ago
Information systems security engineering: a critical component of the systems engineering lifecycle
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
James F. Davis