10159 search results - page 399 / 2032 » System Design Validation Using Formal Models |
115
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes an automatic methodology for optimizing sample point selection for using in the framework of model order reduction (MOR). The procedure, based on the maximiza...
156
click to vote
AOSE
2004
Springer
15 years 9 months ago
2004
Springer
Current agent-oriented methodologies focus mainly on multi-agent systems analysis and design, but without providing straightforward connections to the implementation of such system...
139
click to vote
DLOG
2009
15 years 5 months ago
2009
Relation Based Access Control (RelBAC) is an access control model designed for the new scenarios of access control on Web 2.0. Under this model, we discuss in this paper how to for...
131
click to vote
TCIAIG
2010
14 years 11 months ago
2010
It is easy to create new combinatorial games but more difficult to predict those that will interest human players. We examine the concept of game quality, its automated measurement...
150
click to vote
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
Abstract Utility Data Center (UDC) provides a exible, coste ective infrastructure to support the hosting of applications for Internet services. In order to enable the design of a \...