Sciweavers

8316 search results - page 1473 / 1664
» Web Document Modeling
Sort
View
163
Voted
CAISE
2004
Springer
15 years 11 months ago
Office Activity Procedure Exception Handling Realization Difficulties
Office activity procedure automation is getting very popular in major organizations. During the automation then workflow method is chosen frequently, because of its possibility to ...
Dovile Vojevodina, Genadijus Kulvietis
CARDIS
2004
Springer
150views Hardware» more  CARDIS 2004»
15 years 11 months ago
Enforcing High-Level Security Properties for Applets
Smart card applications often handle privacy-sensitive information, and therefore must obey certain security policies. Typically, such policies are described as high-level security...
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Mari...
148
Voted
CASSIS
2004
Springer
15 years 11 months ago
ESC/Java2: Uniting ESC/Java and JML
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
David R. Cok, Joseph Kiniry
CIVR
2004
Springer
169views Image Analysis» more  CIVR 2004»
15 years 11 months ago
The CIMWOS Multimedia Indexing System
We describe a multimedia, multilingual and multimodal research system (CIMWOS) supporting content-based indexing, archiving, retrieval and on-demand delivery of audiovisual content...
Harris Papageorgiou, Athanassios Protopapas
ESA
2004
Springer
117views Algorithms» more  ESA 2004»
15 years 11 months ago
Classroom Examples of Robustness Problems in Geometric Computations
The algorithms of computational geometry are designed for a machine model with exact real arithmetic. Substituting floating-point arithmetic for the assumed real arithmetic may c...
Lutz Kettner, Kurt Mehlhorn, Sylvain Pion, Stefan ...
« Prev « First page 1473 / 1664 Last » Next »