1988 search results - page 332 / 398 » Engineering formal metatheory |
212
click to vote
IHIS
2005
ACM
15 years 12 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
158
click to vote
WOWMOM
2005
ACM
15 years 12 months ago
2005
ACM
To be able to utilize the generative potential of future networks for service composition, the attributes of services and networks must be appropriately formalized, stored and mad...
162
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Formalizing a student model for an educational system requires an engineering effort that is highly domain-specific. This model-specificity limits the ability to scale ...
164
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
157
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
Current software attacks often build on exploits that subvert machine-code execution. The enforcement of a basic safety property, Control-Flow Integrity (CFI), can prevent such at...