Sciweavers

4076 search results - page 615 / 816
» A framework for developing distributed location based applic...
Sort
View
136
Voted
IJBRA
2007
103views more  IJBRA 2007»
15 years 3 months ago
A pragmatic approach to mapping the open biomedical ontologies
: A large number of ontologies have been introduced by the biomedical community in recent years. From an application perspective, identifying related ontologies and linking them to...
Deendayal Dinakarpandian, Tuanjie Tong, Yugyung Le...
87
Voted
IANDC
2010
128views more  IANDC 2010»
15 years 2 months ago
A coinductive calculus of binary trees
We study the set TA of infinite binary trees with nodes labelled in a semiring A from a coalgebraic perspective. We present coinductive definition and proof principles based on ...
Alexandra Silva, Jan J. M. M. Rutten
151
Voted
ISF
2008
114views more  ISF 2008»
15 years 3 months ago
An OVAL-based active vulnerability assessment system for enterprise computer networks
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
Xiuzhen Chen, Qinghua Zheng, Xiaohong Guan
190
Voted
VEE
2012
ACM
234views Virtualization» more  VEE 2012»
13 years 11 months ago
REEact: a customizable virtual execution manager for multicore platforms
With the shift to many-core chip multiprocessors (CMPs), a critical issue is how to effectively coordinate and manage the execution of applications and hardware resources to overc...
Wei Wang, Tanima Dey, Ryan W. Moore, Mahmut Aktaso...
PADS
2006
ACM
15 years 9 months ago
Modeling Autonomous-System Relationships
The development of realistic topology generators that produce faithful replicas of Internet topologies is critical for conducting realistic simulation studies of Internet protocol...
Xenofontas A. Dimitropoulos, George F. Riley