16606 search results - page 497 / 3322 » Context Modeling: Task Model and Practice Model |
195
click to vote
HICSS
2003
IEEE
16 years 5 days ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...
164
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper describes an architecture for modeling cooperating systems of communicating agents. The authors’ goal is not that of providing a framework to implement multi...
160
click to vote
ITC
1998
IEEE
15 years 11 months ago
1998
IEEE
Automated fault diagnosis based on the stuckat fault model is not always effective. This paper presents practical experiences in applying a bridging fault based diagnosis techniqu...
202
click to vote
COMPOS
1997
Springer
15 years 11 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
175
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...