2314 search results - page 37 / 463 » What's in a model |
ICSE
1994
IEEE-ACM
13 years 11 months ago
1994
IEEE-ACM
In trying to understandand redesign software processes, it is often necessaryto have an understanding of the "whys" that underliethe "whats"
KR
1998
Springer
13 years 12 months ago
1998
Springer
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
FOSAD
2000
Springer
13 years 11 months ago
2000
Springer
Access control is the process of mediating every request to resources and data maintained by a system and determining whether the request should be granted or denied. The access co...
ENTCS
2008
13 years 7 months ago
2008
We introduce a general model of refinement. This is defined in terms of what contexts an entity can appear in, and what observations can be made of it in those contexts. We show e...
IJIS
2002
13 years 7 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...