12487 search results - page 304 / 2498 » Graspable Work Modeling |
133
click to vote
CADE
2004
Springer
16 years 5 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
165
click to vote
PRIMA
2009
Springer
15 years 11 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
159
click to vote
SBRN
2008
IEEE
15 years 11 months ago
2008
IEEE
In this work, we propose to use the Zoomed-Ranking approach to ranking and selecting Artificial Neural Network (ANN) models for time series forecasting. Given a time series to fo...
145
click to vote
ICWE
2007
Springer
15 years 11 months ago
2007
Springer
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
133
click to vote
SARA
2007
Springer
15 years 10 months ago
2007
Springer
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction problem. There are typically many alternative mode...