Sciweavers

1750 search results - page 133 / 350
» E-Commerce Development Procedure
Sort
View
TEI
2010
ACM
111views Hardware» more  TEI 2010»
15 years 12 months ago
SKIN: designing aesthetic interactive surfaces
In this paper we propose SKIN as an interdisciplinary design approach for sophisticated interactive surfaces, with an emphasis on their meanings and aesthetic qualities. SKIN: Sur...
Heekyoung Jung, Youngsuk L. Altieri, Jeffrey Bardz...
EVOW
2010
Springer
15 years 12 months ago
Towards a Generic Framework for Automated Video Game Level Creation
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
Nathan Sorenson, Philippe Pasquier
AIMS
2009
Springer
15 years 11 months ago
NETCONF Interoperability Testing
The IETF has developed a network configuration management protocol called NETCONF which was published as proposed standard in 2006. The NETCONF protocol provides mechanisms to in...
Ha Manh Tran, Iyad Tumar, Jürgen Schönw&...
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
15 years 11 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
CBSE
2009
Springer
15 years 11 months ago
Integrating Functional and Architectural Views of Reactive Systems
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
Jewgenij Botaschanjan, Alexander Harhurin