3557 search results - page 182 / 712 » Authoring Presentation for OpenMath |
189
click to vote
CHI
2004
ACM
15 years 12 months ago
2004
ACM
While collections—aggregation mechanisms such as folders, buddy lists, photo albums, etc.—clearly play a central role in information management, the potential benefits of true...
154
click to vote
SACMAT
2004
ACM
15 years 12 months ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
207
click to vote
WEBI
2004
Springer
15 years 11 months ago
2004
Springer
Business process describes a set of services that span enterprise boundaries and are provided by enterprises that see each other as partners. Web services is widely accepted and a...
183
click to vote
HT
2003
ACM
15 years 11 months ago
2003
ACM
Existing hypertext systems have emphasized either the navigational or spatial expression of relationships between objects. We are exploring the combination of these modes of expre...
219
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...