2473 search results - page 200 / 495 » Systems, Views and Models of UML |
270
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
186
click to vote
ISCAS
2005
IEEE
16 years 20 days ago
2005
IEEE
Abstract— In this paper, we derive a simple first-order discretetime model for the Transmission Control Protocol (TCP) with Random Early Detection (RED). We view the network as ...
207
Voted
HPCA
1997
IEEE
15 years 11 months ago
1997
IEEE
Many parallel systems offer a simple view of memory: all storage cells are addresseduniformly. Despite a uniform view of the memory, the machines differsignificantly in theirmemo...
201
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Information systems support data privacy by constraining user's access to public views and thereby hiding the non-public underlying data. The privacy problem is to prove that ...
170
click to vote
FGR
2006
IEEE
16 years 1 months ago
2006
IEEE
Face identification systems relying on local descriptors are increasingly used because of their perceived robustness with respect to occlusions and to global geometrical deformati...