1454 search results - page 128 / 291 » Stateful traits and their formalization |
77
Voted
AAAI
2010
15 years 2 months ago
2010
Intentions have been widely studied in AI, both in the context of decision-making within individual agents and in multiagent systems. Work on intentions in multi-agent systems has...
113
click to vote
FORTE
2010
15 years 2 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
98
Voted
JSS
1998
15 years 12 days ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
165
click to vote
MEMOCODE
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...
127
Voted
TCS
2010
14 years 7 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...