Sciweavers

761 search results - page 39 / 153
» Towards Multidimensional Requirement Design
Sort
View
WWW
2007
ACM
15 years 10 months ago
Extending WebML towards semantic web
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
Federico Michele Facca, Marco Brambilla
ISLPED
1995
ACM
96views Hardware» more  ISLPED 1995»
15 years 1 months ago
Towards a high-level power estimation capability
We will present a power estimation technique for digital integrated circuits that operates at the register transfer level RTL. Such a high-level power estimation capability is r...
Farid N. Najm
BPM
2006
Springer
128views Business» more  BPM 2006»
14 years 11 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
CORR
2011
Springer
217views Education» more  CORR 2011»
14 years 4 months ago
Boolean Networks Design by Genetic Algorithms
Abstract. We present and discuss the results of an experimental analysis in the design of Boolean networks by means of genetic algorithms. A population of networks is evolved with ...
Andrea Roli, Cristian Arcaroli, Marco Lazzarini, S...
EGOV
2010
Springer
14 years 11 months ago
Design of an Open Social E-Service for Assisted Living
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...
Gustaf Juell-Skielse, Petia Wohed