Sciweavers

2263 search results - page 169 / 453
» Principles of Template Design
Sort
View
139
Voted
ECOWS
2009
Springer
15 years 10 months ago
RESTful SPARQL? You name it!: aligning SPARQL with REST and resource orientation
SPARQL is the standard query language for RDF, but currently is a read-only language defined in a way similar to SQL: Queries can be formulated, are submitted to a single process...
Erik Wilde, Michael Hausenblas
ER
2007
Springer
82views Database» more  ER 2007»
15 years 10 months ago
Tracing the Rationale Behind UML Model Change Through Argumentation
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
Ivan Jureta, Stéphane Faulkner
ESOP
2007
Springer
15 years 10 months ago
Dependent Types for Low-Level Programming
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
Jeremy Condit, Matthew Harren, Zachary R. Anderson...
ESAW
2005
Springer
15 years 9 months ago
Collaborative Agent Tuning: Performance Enhancement on Mobile Devices
Ambient intelligence envisages a world saturated with sensors and other embedded computing technologies, operating transparently, and accessible to all in a seamless and intuitive ...
Conor Muldoon, Gregory M. P. O'Hare, Michael J. O'...
GECCO
2004
Springer
104views Optimization» more  GECCO 2004»
15 years 9 months ago
Optimal Operating Conditions for Overhead Crane Maneuvering Using Multi-objective Evolutionary Algorithms
While operating a crane for maximum productivity, the time of operation and the required energy are two important conflicting factors faced by a crane operator. In such a case, tr...
Kalyanmoy Deb, Naveen Kumar Gupta