Sciweavers

1139 search results - page 211 / 228
» Aligning Goal Models and Business Models - extended abstract
Sort
View
ESAW
2009
Springer
15 years 6 months ago
Incorporating BDI Agents into Human-Agent Decision Making Research
Artificial agents, people, institutes and societies all have the ability to make decisions. Decision making as a research area therefore involves a broad spectrum of sciences, ran...
Bart Kamphorst, Arlette van Wissen, Virginia Dignu...
TLCA
2009
Springer
15 years 6 months ago
Initial Algebra Semantics for Cyclic Sharing Structures
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
Makoto Hamana
VTC
2007
IEEE
15 years 6 months ago
Discrete Power Allocation for Lifetime Maximization in Cooperative Networks
Abstract— Discrete power allocation strategies for amplifyand-forward cooperative networks are proposed based on selective relaying methods. The goal of power allocation is to ma...
Wan-Jen Huang, Yao-Win Hong, C. C. Jay Kuo
ER
2007
Springer
80views Database» more  ER 2007»
15 years 6 months ago
From Declarative to Imperative UML/OCL Operation Specifications
An information system maintains a representation of the state of the domain in its Information Base (IB). The state of the IB changes due to the execution of the operations defined...
Jordi Cabot
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
15 years 5 months ago
Performance of a Solar-powered Robot for Polar Instrument Networks
Abstract – The Cool Robot is a four-wheel-drive, solarpowered autonomous vehicle designed to support summertime science campaigns in Antarctica and Greenland. We deployed the rob...
James H. Lever, Alexander D. Streeter, Laura E. Ra...