795 search results - page 96 / 159 » A Formal Approach to Heterogeneous Software Modeling |
107
click to vote
HT
2010
ACM
15 years 5 months ago
2010
ACM
We present iMapping, a zooming based approach for visually organizing information objects. It was developed on top of semantic desktop technologies and especially targets the supp...
99
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
We describe collaborative efforts between a knowledge representation team, a community of scientists, and scientific information managers in developing knowledge models for ecolog...
ICSE
2003
IEEE-ACM
16 years 17 days ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
98
Voted
CAISE
2001
Springer
15 years 5 months ago
2001
Springer
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
JAIR
2008
15 years 14 days ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...