10038 search results - page 506 / 2008 » Model Checking for Managers |
175
click to vote
ACMSE
2005
ACM
16 years 20 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...
183
click to vote
MIS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. This work proposes an approach for managing multimedia information associated to 3D environments navigated by the user. The influence of context (location, user profile, ...
177
click to vote
ATAL
2004
Springer
16 years 15 days ago
2004
Springer
: A reputation management system can promote trust in transactions in an online consumer-to-consumer (C2C) market. We model a C2C market by employing an agent-based approach. To di...
209
click to vote
XSYM
2004
Springer
16 years 12 days ago
2004
Springer
Processing XML documents in multi-user database management environments requires a suitable storage model of XML data, support of typical XML document processing (XDP) interfaces, ...
192
click to vote
RSP
2002
IEEE
16 years 4 hour ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...