3557 search results - page 506 / 712 » Authoring Presentation for OpenMath |
127
click to vote
POLICY
2007
Springer
16 years 19 days ago
2007
Springer
Data is often encumbered by restrictions on the ways in which it may be used. These restrictions on usage may be determined by statute, by contract, by custom, or by common decenc...
174
click to vote
SEKE
2007
Springer
16 years 19 days ago
2007
Springer
A software architecture provides a high-level description of a software solution in terms of the structure, topology, and interactions between its principal components. While a nu...
195
click to vote
SPIN
2007
Springer
16 years 19 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
187
click to vote
TLCA
2007
Springer
16 years 19 days ago
2007
Springer
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
126
click to vote
WEBI
2007
Springer
16 years 19 days ago
2007
Springer
Identification of distinct clusters of documents in text collections has traditionally been addressed by making the assumption that the data instances can only be represented by ...