950 search results - page 129 / 190 » Tool Support for Model Checking of Web Application Designs |
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
With the emergence of multicore network processors in support of high-performance computing and networking applications, power consumption has become a problem of increasing signi...
IMR
2004
Springer
14 years 1 months ago
2004
Springer
Topological representations are being used to define geometric models suitable for grid generation and grid generation tools are being developed that work directly on topological ...
LREC
2008
13 years 9 months ago
2008
In the context of the CATCH research program that is currently carried out at a number of large Dutch cultural heritage institutions our ambition is to combine and exchange hetero...
RE
2007
Springer
14 years 1 months ago
2007
Springer
We present details of a goal-oriented process for database requirements analysis. This process consists of a number of steps, spanning the spectrum from high-level stakeholder goa...
SEMWEB
2001
Springer
14 years 6 days ago
2001
Springer
Ontologies are becoming increasingly prevalent and important in a wide range of e-commerce applications. E-commerce applications are using ontologies to support parametric searches...