2473 search results - page 369 / 495 » Systems, Views and Models of UML |
202
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
225
click to vote
DSRT
2006
IEEE
16 years 28 days ago
2006
IEEE
For efficient collaboration between participants, eye gaze is seen as being critical for interaction. Teleconferencing systems such as the AcessGrid allow users to meet across ge...
172
click to vote
ATAL
2005
Springer
16 years 12 days ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...
175
click to vote
ACNS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
201
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
MPEG-4 is scheduled to become an International Standard in March 1999. This paper demonstrates an experiment for a virtual cloning method and animation system, which is compatible...