Sciweavers

4689 search results - page 720 / 938
» Analysis and modeling of control tasks in dynamic systems
Sort
View
DLOG
2010
15 years 4 months ago
Checking Full Satisfiability of Conceptual Models
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...
ICRA
2005
IEEE
257views Robotics» more  ICRA 2005»
16 years 6 days ago
Nonlinear Performance Limits for High Energy Density Piezoelectric Bending Actuators
Abstract— To keep pace with recent advances in microrobotic structures demands actuator technologies which can deliver high power and precise motion. For electroactive material b...
Robert J. Wood, Erik Steltz, Ronald S. Fearing
OSDI
2000
ACM
15 years 8 months ago
Taming the Memory Hogs: Using Compiler-Inserted Releases to Manage Physical Memory Intelligently
Out-of-core applications consume physical resources at a rapid rate, causing interactive applications sharing the same machine to exhibit poor response times. This behavior is the...
Angela Demke Brown, Todd C. Mowry
SMC
2007
IEEE
125views Control Systems» more  SMC 2007»
16 years 26 days ago
Scaling with digital connection: Services innovation
—Digitization of production factors, including the knowledge for knowledge workers and consumers, opens almost infinite potential to connect persons, systems, processes, enterpri...
Cheng Hsu
IJHPCA
2008
151views more  IJHPCA 2008»
15 years 6 months ago
WE-AMBLE: a Workflow Engine To Manage Awareness in Collaborative Grid Environments
Grid computing intends to share heterogeneous resources in dynamic service-based environments. This kind of systems has the major advantages of enabling rapid composition of distr...
Pilar Herrero, José Luis Bosque, Manuel Sal...