606 search results - page 29 / 122 » Capturing the Intention of Model Changes |
WSC
1997
13 years 10 months ago
1997
A psycho-physical vehicle-following model tries to capture both the physical and human components of congested-traffic simulations. These models determine the reactions of the veh...
INFOSCALE
2007
ACM
13 years 10 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...
IJAIT
2006
13 years 9 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
WWW
2008
ACM
14 years 9 months ago
2008
ACM
Proximity of query terms in a document is an important criterion in IR. However, no investigation has been made to determine the most useful term sequences for which proximity sho...
VIP
2000
13 years 10 months ago
2000
Although codified knowledge and its capture is commonplace, tacit knowledge has up until recent years proved elusive in its inclusion within the organisation's knowledge base...