ICMS
2010
13 years 5 months ago
2010
ICMS
2010
13 years 5 months ago
2010
ICMS
2010
13 years 5 months ago
2010
ICMS
2010
13 years 5 months ago
2010
We announce the development and implementation of a new GAP package PCQL. This facilitates the computation of consistent polycyclic presentations for polycyclic quotients of groups...
ICMS
2010
13 years 5 months ago
2010
ICMS
2010
13 years 5 months ago
2010
ICFEM
2010
Springer
13 years 5 months ago
2010
Springer
Design patterns are rarely used on their own. They are almost always to be found composed with each other in real applications. So it is crucial that we can reason about their comp...
ICFEM
2010
Springer
13 years 5 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
HCSE
2010
13 years 5 months ago
2010
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
HCSE
2010
13 years 5 months ago
2010
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...