10038 search results - page 294 / 2008 » Model Checking for Managers |
188
click to vote
CAISE
1998
Springer
15 years 11 months ago
1998
Springer
We show how model extensibility of object-oriented data management systems can be achieved through the combination of a highlevel core object data model and an architecture designe...
175
click to vote
EEE
2005
IEEE
16 years 8 days ago
2005
IEEE
Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consi...
168
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The purpose of validating a conceptual schema is to check whether it specifies what the designer intended. Our approach to validation consists in translating the schema into logic ...
165
click to vote
OTM
2004
Springer
16 years 4 hour ago
2004
Springer
To achieve sharing and reuse for sustainable development, documents are semantically interrelated by ontologies, specified formally using the specification language Casl. The spe...
162
click to vote
MRCO
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Current research in context-awareness is biased toward low-level context information. High-level context information, however, poses several challenges to context managem...