Sciweavers

2624 search results - page 29 / 525
» The 2LIP model and its implementations
Sort
View
SIGCOMM
2010
ACM
13 years 7 months ago
Fived: a service-based architecture implementation to innovate at the endpoints
Security functions such as access control, encryption and authentication are typically left up to applications on the modern Internet. There is no unified system to implement thes...
D. J. Capelis, Darrell D. E. Long
HT
1991
ACM
13 years 11 months ago
Implementing Hypertext Database Relationships through Aggregations and Exceptions
In order to combine hypertext with database facilities, we show how to extract an effective storage structure from given instance relationships. The schema of the structure recogn...
Yoshinori Hara, Arthur M. Keller, Gio Wiederhold
CHARME
2005
Springer
130views Hardware» more  CHARME 2005»
14 years 1 months ago
Improvements to the Implementation of Interpolant-Based Model Checking
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
João P. Marques Silva
IJCNN
2000
IEEE
14 years 1 days ago
A SOM Based Cluster Visualization and Its Application for False Coloring
The self-organizing map SOM is widely used as a data visualization method in various engineering applications. It performs a non-linear mapping from a high-dimensional data spac...
Johan Himberg
CORR
2010
Springer
108views Education» more  CORR 2010»
13 years 7 months ago
Using Coloured Petri Nets for design of parallel raytracing environment
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
Stefan Korecko, Branislav Sobota