Sciweavers

5409 search results - page 270 / 1082
» Basic Observables for Processes
Sort
View
AMCS
2011
341views Mathematics» more  AMCS 2011»
15 years 1 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
ICRA
2009
IEEE
158views Robotics» more  ICRA 2009»
16 years 1 months ago
A guidance and control strategy for dynamic soaring with a gliding UAV
—Soaring is the process of gaining energy from the atmosphere in-flight using an aerodynamic free-flying platform. Dynamic soaring utilizes the energy available in vertical wind ...
Nicholas R. J. Lawrance, Salah Sukkarieh
ER
2009
Springer
166views Database» more  ER 2009»
16 years 1 months ago
A Modeling Ontology for Integrating Vulnerabilities into Security Requirements Conceptual Foundations
Abstract. Vulnerabilities are weaknesses in the requirements, design, and implementation, which attackers exploit to compromise the system. This paper proposes a vulnerability-cent...
Golnaz Elahi, Eric S. K. Yu, Nicola Zannone
GRC
2007
IEEE
16 years 1 months ago
Structured Writing with Granular Computing Strategies
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
Yiyu Yao
ICANNGA
2007
Springer
16 years 26 days ago
DNA Based Evolutionary Approach for Microprocessor Design Automation
In a paper [1] presented to BICS 2006, a basic methodology for microprocessor design automation using DNA sequences was proposed. A refined methodology with new schemes for travers...
Nagarajan Venkateswaran, Arjun Kumeresh, Harish Ch...