3256 search results - page 435 / 652 » Applications of Formal Methods to System Design and Verifica... |
158
click to vote
BCS
2008
15 years 7 months ago
2008
This paper describes our approaches to raise the level of abstraction at which hardware suitable for accelerating computationally-intensive applications can be specified. Field-Pr...
157
click to vote
TOG
2008
15 years 5 months ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
141
click to vote
EDOC
2007
IEEE
15 years 12 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
157
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
149
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...