2697 search results - page 318 / 540 » Developing Gestural Input |
148
click to vote
RCIS
2010
15 years 2 months ago
2010
Continuous customer-centric requirements reprioritization is essential in successfully performing agile software development. Yet, in the agile RE literature, very little is known ...
184
Voted
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
194
Voted
DKE
2011
15 years 1 days ago
2011
One of the more tedious and complex tasks during the specification of conceptual schemas (CSs) is modeling the operations that define the system behavior. This paper aims to simpl...
150
click to vote
ENTCS
2011
15 years 1 days ago
2011
SUBSEXPL is a system originally developed to visualise reductions, simpliļ¬cations and normalisations in three important calculi of explicit substitutions and has been applied to...
204
click to vote
GEOINFORMATICA
2011
15 years 1 days ago
2011
Discovery of suitable web services is a crucial task in Spatial Data Infrastructures (SDI). In this work, we develop a novel approach to the discovery of geoprocessing services (WP...