472 search results - page 32 / 95 » A pattern language for user assistance |
167
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
167
click to vote
ASWC
2006
Springer
15 years 9 months ago
2006
Springer
The Web Ontology Language (OWL), which is a Description Logic based ontology language, is widely used to represent formal definitions of vocabularies for domain knowledge, especial...
145
click to vote
POLICY
2007
Springer
16 years 3 days ago
2007
Springer
Recent efforts in the area of Web policy languages show concerns on how to better represent both context and rules of a domain to deal with large number of resources and users. In...
159
click to vote
ASSETS
2006
ACM
15 years 12 months ago
2006
ACM
The vast proliferation of GUI-based applications, including graphical interactive development environments (IDEs), has placed blind programmers at a severe disadvantage in a profe...
160
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...