10159 search results - page 220 / 2032 » System Design Validation Using Formal Models |
257
click to vote
AMCS
2011
14 years 10 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
133
click to vote
ICFEM
2009
Springer
15 years 22 days ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
106
click to vote
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
The aim of this paper is twofold: to provide a theoretical model to analyze obstacles, challenges, and incentives which lead a nonprofessional user to design websites and produce ...
134
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
109
click to vote
SYNASC
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...