289 search results - page 6 / 58 » A Direct Construction of a Universal Extended H System |
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...
ICDT
2012
ACM
11 years 9 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
PCI
2005
Springer
14 years 25 days ago
2005
Springer
In this paper, we present the rationale and the baseline of a notation which can be used on its own or as an extension to standard UML to facilitate specification of an interactive...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Agarwal and Karahanna (2000) suggested that holistic user experiences with IT contribute to users’ evaluation of and reaction to using the technology. They proposed and empirica...
UIST
2009
ACM
14 years 1 months ago
2009
ACM
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...