Sciweavers

1606 search results - page 244 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
COMPSAC
2008
IEEE
15 years 6 months ago
Specifying Behavioural Features of Design Patterns in First Order Logic
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
Ian Bayley, Hong Zhu
DSVIS
2008
Springer
15 years 6 months ago
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
Frédéric Jourde, Yann Laurillau, Alb...
ENTCS
2010
123views more  ENTCS 2010»
15 years 4 months ago
Combining Architecture-based Software Reliability Predictions with Financial Impact Calculations
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...
Franz Brosch, Ralf Gitzel, Heiko Koziolek, Simone ...
121
Voted
ESWA
2006
182views more  ESWA 2006»
15 years 4 months ago
Improved route planning and scheduling of waste collection and transport
The collection of waste is a highly visible and important municipal service that involves large expenditures. Waste collection problems are, however, one of the most difficult ope...
Teemu Nuortio, Jari Kytöjoki, Harri Niska, Ol...
ORI
2008
69views more  ORI 2008»
15 years 4 months ago
Markov chain applications in the slot machine industry
One of the important sectors within gambling is that of gaming machines. This industry used to favour approaches based on long-run simulations or complete enumerations of all poss...
Noelia Oses