Sciweavers

537 search results - page 16 / 108
» Extended directed triple systems
Sort
View
ASWEC
2005
IEEE
14 years 1 months ago
A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...
Soon-Kyeong Kim, Luke Wildman, Roger Duke
SEMWEB
2009
Springer
14 years 2 months ago
A Database Backend for OWL
Abstract. Most Semantic Web applications are build on top of technology based on the Semantic Web layer cake and the W3C ontology languages RDF(S) and OWL. However RDF(S) embodies ...
Jörg Henss, Joachim Kleb, Stephan Grimm
ROBIO
2006
IEEE
125views Robotics» more  ROBIO 2006»
14 years 1 months ago
Multi-target Detection by Multi-sensor Systems: A Comparison of Systems
– Different methodologies exist to direct the motion of sensors to detect targets moving across an environment in various scenarios. However, some of these do not model that navi...
P. K. Ganesh, K. Madhava Krishna, Paulo Menezes
CDC
2008
IEEE
163views Control Systems» more  CDC 2008»
13 years 9 months ago
Robust design of a spacecraft attitude tracking control system with actuator uncertainties
In this paper we apply the robust redesign for transient performance recovery of nonlinear systems with input uncertainties developed in [2] to a spacecraft attitude tracking probl...
Aranya Chakrabortty, Murat Arcak, Panagiotis Tsiot...
IPPS
2006
IEEE
14 years 1 months ago
SmartNetSolve: high-level programming system for high performance grid computing
The paper presents SmartNetSolve, an extension of NetSolve, the programming system for high performance Grid computing. The extension is aimed at higher performance of Grid applic...
Thomas Brady, E. Konstantinov, Alexey L. Lastovets...