3573 search results - page 376 / 715 » Reasoning about Codata |
158
click to vote
BIS
2006
15 years 7 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
154
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. Multidimensional dynamic logic programs (MDLPs) are suitable to represent knowledge dynamic in time, or more generally, information coming from various sources, partially...
176
click to vote
CMS
2006
15 years 7 months ago
2006
This paper presents a model for delegation based on partial orders, proposing the subclass relation in OWL as a way to represent the partial orders. Delegation and authorization de...
140
click to vote
EHCI
2004
15 years 7 months ago
2004
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
161
click to vote
FECS
2006
15 years 7 months ago
2006
- "They're kinetic, maddening, and failing at school." These words were used in a recent issue of Newsweek to describe the state of boys in school and the debated to...