2685 search results - page 408 / 537 » A Formal Semantics for SPKI |
153
click to vote
ICTCS
2005
Springer
15 years 12 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
134
click to vote
IEAAIE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper deals with plan execution on agents/robots in highly dynamic environments. Besides a formal semantics of plan execution and a representation of plans as progra...
112
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
143
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
167
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
The emerging consensus on the boundaries and main elements of the Software Engineering (SE) discipline represents an opportunity for the engineering of shared conceptualizations t...