Sciweavers

2263 search results - page 169 / 453
» Principles of Template Design
Sort
View
ECOWS
2009
Springer
16 years 1 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»
16 years 1 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
153
Voted
ESOP
2007
Springer
16 years 1 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
16 years 12 days 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»
16 years 8 days 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