1419 search results - page 237 / 284 » Notes on Formalizing Context |
103
click to vote
ECEASST
2008
15 years 20 days ago
2008
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
108
Voted
ECEASST
2008
15 years 20 days ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
106
click to vote
JAPLL
2008
15 years 17 days ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
110
click to vote
JALC
2006
15 years 17 days ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
114
click to vote
DKE
2007
15 years 17 days ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...