221 search results - page 16 / 45 » Evolving Logical Specification in Information Systems |
JCIT
2008
13 years 7 months ago
2008
In this paper, we describe a local safety knowledge sharing system among the community. Our system makes it possible to share detailed safety knowledge, which includes location an...
AAMAS
2005
Springer
13 years 7 months ago
2005
Springer
One of the most difficult problems in Multi-Agent Systems (MAS) involves representing the knowledge and beliefs of an agent which performs its tasks in a dynamic environment. New p...
CAISE
2008
Springer
13 years 9 months ago
2008
Springer
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
CSFW
1992
IEEE
13 years 11 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
We investigate the temporal implications of information technology by examining its use in the work practices of physicians and nurses in an emergency department. We conceptualize...