Sciweavers

10916 search results - page 87 / 2184
» On Constructive Connectives and Systems
Sort
View
93
Voted
IROS
2006
IEEE
130views Robotics» more  IROS 2006»
15 years 6 months ago
A Novel Distributed Telerobotic System for Construction Machines Based on Modules Synchronization
— On a scene of a natural disaster, rescuers require heavy duty hydraulic machines to answer their need of large forces, or to approach an unreachable spot. Those industrial vehi...
Eric Rohmer, Kazuya Yoshida, E. Nakano
97
Voted
WAIM
2005
Springer
15 years 6 months ago
An Ontology Based Approach to Construct Behaviors in Web Information Systems
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
Lv-an Tang, Hongyan Li, Zhiyong Pan, Dongqing Yang...
146
Voted
VEE
2006
ACM
150views Virtualization» more  VEE 2006»
15 years 6 months ago
Evaluating fragment construction policies for SDT systems
Software Dynamic Translation (SDT) systems have been used for program instrumentation, dynamic optimization, security policy enforcement, intrusion detection, and many other uses....
Jason Hiser, Daniel Williams, Adrian Filipi, Jack ...
133
Voted
ADAEUROPE
2007
Springer
15 years 7 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
104
Voted
PATMOS
2004
Springer
15 years 6 months ago
Modular Construction and Power Modelling of Dynamic Memory Managers for Embedded Systems
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
David Atienza, Stylianos Mamagkakis, Francky Catth...