7623 search results - page 496 / 1525 » Constructive Volume Modeling |
173
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whethe...
191
click to vote
HICSS
2005
IEEE
16 years 13 days ago
2005
IEEE
In this paper we propose a conceptual model of virtual organizations as normative multiagent systems. The dynamic aspects of virtual organizations are modeled using aspects of spe...
153
click to vote
ESWS
2004
Springer
16 years 7 days ago
2004
Springer
Knowledge Provenance is an approach to determining the origin and validity of knowledge/information on the web by means of modeling and maintaining information sources and dependen...
170
click to vote
CAISE
2003
Springer
16 years 2 days ago
2003
Springer
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...
140
click to vote
ERSHOV
2003
Springer
16 years 1 days ago
2003
Springer
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implica...