660 search results - page 27 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
160
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
Social network-based systems usually suffer from two major limitations: they tend to rely on a single data source (e.g. email traffic), and the form of network patterns is often p...
115
click to vote
PADS
2004
ACM
15 years 7 months ago
2004
ACM
This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process ...
136
click to vote
APN
2007
Springer
15 years 8 months ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
131
click to vote
JLP
2006
15 years 2 months ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
124
Voted
JCP
2008
15 years 2 months ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...