2002 search results - page 338 / 401 » Interactive technical illustration |
FROCOS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
GIS
2009
ACM
14 years 2 months ago
2009
ACM
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
ICDS
2007
IEEE
14 years 2 months ago
2007
IEEE
- Role provisioning is an essential yet complex aspect of the design of virtual organisations. This paper addresses an even more complex scenario, that of role provisioning in tele...
AUIC
2004
IEEE
14 years 2 months ago
2004
IEEE
In the not too distant future Intelligent Creatures (robots, smart devices, smart vehicles, smart buildings, etc) will share the everyday living environment of human beings. It is...
CSFW
2004
IEEE
14 years 2 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...