4795 search results - page 307 / 959 » The Message Classification Model |
177
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
173
click to vote
WSFM
2007
Springer
16 years 23 days ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...
167
click to vote
HCI
2009
15 years 4 months ago
2009
Domain-specific modeling is a powerful technique to describe complex systems in a precise but still understandable way. Rapid creation of graphical Domain-Specific Languages (DSLs)...
148
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
People use their awareness of others' temporal patterns to plan work activities and communication. This paper presents algorithms for programatically detecting and modeling t...
174
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper presents a distributed object model MOIDE for solving irregularly structured problems on cluster. The primary appeal of MOIDE is its flexible system structure that is a...