2088 search results - page 182 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
176
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriti...
195
click to vote
ESSOS
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The security requirements of complex multi-tier web applications have shifted from simple localized needs, such as authentication or authorization, to physically distribu...
184
click to vote
HPCA
2002
IEEE
16 years 7 months ago
2002
IEEE
Cyclops is a new architecture for high performance parallel computers being developed at the IBM T. J. Watson Research Center. The basic cell of this architecture is a single-chip...
184
click to vote
DKE
2007
15 years 6 months ago
2007
A product model is a formal and structured definition of product information. The most common procedure for defining a product data model is to first describe the business and/...
174
click to vote
HICSS
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...