Sciweavers

949 search results - page 13 / 190
» Relating Imperatives to Action
Sort
View
SE
2008
13 years 9 months ago
Relating Product Line Context to Requirements Engineering Processes Using Design Rationale
: The design of engineering processes is dependent on the context they are designed for. This paper presents the results of an action research study that used design rationale to d...
Samuel Fricker, Reinhard Stoiber
ICTCS
2005
Springer
14 years 1 months ago
A Typed Semantics of Higher-Order Store and Subtyping
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
Jan Schwinghammer
ICRA
2005
IEEE
110views Robotics» more  ICRA 2005»
14 years 1 months ago
Simultaneous Calibration of Action and Sensor Models on a Mobile Robot
Abstract— This paper presents a technique for the Simultaneous Calibration of Action and Sensor Models (SCASM) on a mobile robot. While previous approaches to calibration make us...
Daniel Stronger, Peter Stone
ER
2007
Springer
167views Database» more  ER 2007»
13 years 11 months ago
An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
HOTOS
2007
IEEE
13 years 11 months ago
Purely Functional System Configuration Management
System configuration management is difficult because systems evolve in an undisciplined way: packages are upgraded, configuration files are edited, and so on. The management of ex...
Eelco Dolstra, Armijn Hemel