Sciweavers

2513 search results - page 225 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
ICONIP
2008
15 years 8 months ago
Neurocognitive Approach to Creativity in the Domain of Word-Invention
One of the simplest creative act is the invention of a new word that captures some characteristics of objects or processes, for example industrial or software products, activity of...
Maciej Pilichowski, Wlodzislaw Duch
FLAIRS
2006
15 years 7 months ago
Supporting Systematic Usage of Context in Web Applications
Context can be seen as a paradigm aiming to improve user interaction with software. For Web applications in particular, the issues of content explosion and technological constrain...
J. Wolfgang Kaltz, Jürgen Ziegler
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 6 months ago
Fast Histograms using Adaptive CUDA Streams
Histograms are widely used in medical imaging, network intrusion detection, packet analysis and other streambased high throughput applications. However, while porting such software...
Sisir Koppaka, Dheevatsa Mudigere, Srihari Narasim...
FAC
2008
88views more  FAC 2008»
15 years 6 months ago
The certification of the Mondex electronic purse to ITSEC Level E6
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
Jim Woodcock, Susan Stepney, David Cooper, John A....
OTM
2010
Springer
15 years 4 months ago
Generic Algorithms for Consistency Checking of Mutual-Exclusion and Binding Constraints in a Business Process Context
In this paper, we present generic algorithms to ensure the consistency of mutual-exclusion and binding constraints in a business process context. We repeatedly identified the need...
Mark Strembeck, Jan Mendling