9974 search results - page 1465 / 1995 » Software Interconnection Models |
185
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Histograms are widely used in medical imaging, network intrusion detection, packet analysis and other streambased high throughput applications. However, while porting such software...
170
click to vote
ENTCS
2010
15 years 7 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
142
click to vote
FAC
2008
15 years 7 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
209
click to vote
ENTCS
2006
15 years 7 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
206
click to vote
IJVR
2008
15 years 7 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...