2685 search results - page 319 / 537 » A Formal Semantics for SPKI |
171
click to vote
ML
2006
ACM
16 years 17 days ago
2006
ACM
We present an extension to Standard ML, called SMLSC, to support separate compilation. The system gives meaning to individual program fragments, called units. Units may depend on ...
155
click to vote
CAISE
2005
Springer
16 years 4 days ago
2005
Springer
To achieve inter-enterprise software interoperability, the semantics of interchanged information by using electronic business documents, has to be explicitly modeled. A common appr...
190
click to vote
HYBRID
2005
Springer
16 years 4 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
197
click to vote
FMCO
2004
Springer
15 years 12 months ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
164
click to vote
IAT
2003
IEEE
15 years 12 months ago
2003
IEEE
Members of high-performing human teams can often anticipate information needs of teammates and offer relevant information to them proactively. Such capabilities are highly desirab...