340 search results - page 41 / 68 » Validating Business Requirements Using MAS Analysis Models |
107
click to vote
TSP
2008
15 years 13 days ago
2008
Markov random fields are designed to represent structured dependencies among large collections of random variables, and are well-suited to capture the structure of real-world sign...
100
Voted
HICSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Technological advances in the collection, storage and analysis of data have increased the ease with which businesses can make profitable use of information about individuals. Som...
STTT
1998
15 years 5 days ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
150
Voted
ICDE
2010
IEEE
16 years 8 days ago
2010
IEEE
The Voronoi diagram is an important technique for answering nearest-neighbor queries for spatial databases. In this paper, we study how the Voronoi diagram can be used on uncertain...
ICSE
2003
IEEE-ACM
16 years 19 days ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...