Sciweavers

9267 search results - page 1656 / 1854
» Expectation-Oriented Analysis and Design
Sort
View
MODELS
2007
Springer
16 years 24 days ago
Relating Navigation and Request Routing Models in Web Applications
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
Minmin Han, Christine Hofmeister
MODELS
2007
Springer
16 years 24 days ago
Modeling Time(s)
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
Charles André, Frédéric Malle...
MODELS
2007
Springer
16 years 24 days ago
11th International Workshop on Aspect-Oriented Modeling
This report summarizes the results and discussions from the 11th Workshop on Aspect-Oriented Modeling (AOM). The workshop was held in conjunction with the International Conference ...
Jörg Kienzle, Jeff Gray, Dominik Stein, Walte...
SCIA
2007
Springer
134views Image Analysis» more  SCIA 2007»
16 years 23 days ago
Estimation of Non-Cartesian Local Structure Tensor Fields
Abstract. In medical imaging, signals acquired in non-Cartesian coordinate systems are common. For instance, CT and MRI often produce significantly higher resolution within scan p...
Björn Svensson, Anders Brun, Mats T. Andersso...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 23 days ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
« Prev « First page 1656 / 1854 Last » Next »