660 search results - page 75 / 132 » Problems of Consolidating Usability Problems |
130
Voted
EKAW
1994
Springer
15 years 7 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...
97
Voted
ECLIPSE
2007
ACM
15 years 6 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...
110
Voted
FOSSACS
2009
Springer
15 years 6 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 ...
108
Voted
CCGRID
2004
IEEE
15 years 6 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...
152
Voted
ASWC
2006
Springer
15 years 6 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...