3557 search results - page 96 / 712 » Authoring Presentation for OpenMath |
187
click to vote
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we present a view of design methods as discourse on practice. We consider how the deployment of a particular set of design methods enables and constrains not only p...
178
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
Mobile peer-to-peer groups, which do not require any pre-deployed infrastructure or trusted centralized authority are valuable for a variety of collaborative applications. This wor...
208
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
181
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
192
click to vote
FUIN
2010
15 years 3 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...