2685 search results - page 470 / 537 » A Formal Semantics for SPKI |
174
click to vote
PROMAS
2004
Springer
16 years 3 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
171
Voted
UML
2004
Springer
16 years 3 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...
167
click to vote
WECWIS
2003
IEEE
16 years 1 days ago
2003
IEEE
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...
208
Voted
IUI
2003
ACM
16 years 17 hour ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
180
click to vote
ADBIS
2003
Springer
16 years 5 hour ago
2003
Springer
It’s a long time since video post production became digital, yet the issue of collaborative video authoring has not been seriously investigated so far. In this paper we tackle th...