380 search results - page 47 / 76 » Operational Semantics for Declarative Networking |
104
click to vote
ACSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Mobile Code (MC) technologies provide appealing solutionsfor the development of Internet applications.For instance, Java technologyfacilitates dynamic loading of application code ...
119
click to vote
CSREASAM
2009
15 years 27 days ago
2009
Virtually all modern organizations have embedded information systems and networking technologies into their core business processes as a means to increase operational efficiency, i...
171
click to vote
ECOOP
2009
Springer
16 years 14 days ago
2009
Springer
We present FJig, a simple calculus where basic building blocks are classes in the style of Featherweight Java, declaring elds, methods and one constructor. However, inheritance has...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
Traditional object-oriented programming languages can be difficult to use when working with ontologies, leading to the creation of domain-specific languages designed specifically...
100
click to vote
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...