660 search results - page 75 / 132 » Problems of Consolidating Usability Problems |
EKAW
1994
Springer
13 years 12 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
ECLIPSE
2007
ACM
13 years 11 months ago
2007
ACM
In Eclipse, and in most other development environments, refactorings are activated by selecting code, then using a menu or hotkey, and finally engaging in a dialog with a "wi...
FOSSACS
2009
Springer
13 years 11 months ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
CCGRID
2004
IEEE
13 years 11 months ago
2004
IEEE
Public Key Infrastructures suffer from usability and security problems associated with the request for and secure management of end user credentials. Online credential repositorie...
ASWC
2006
Springer
13 years 11 months ago
2006
Springer
The Semantic Web services has become a challenging research topic in the last half of decade. Various frameworks offer means to semantically describe all the related aspects of Sem...