1788 search results - page 86 / 358 » Model Theory for Process Algebra |
125
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...
113
click to vote
CANDC
2009
ACM
15 years 10 months ago
2009
ACM
We present a sub-symbolic computational model for effecting knowledge re-representation and insight. Given a set of data, manifold learning is used to automatically organize the d...
143
Voted
WADT
1999
Springer
15 years 7 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
120
click to vote
FUIN
2007
15 years 3 months ago
2007
A formal model for description of passive and active timing attacks is presented, studied and compared with other security concepts. It is based on a timed process algebra and on a...
128
click to vote
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
In the seventies, several classification schemes for the rational languages were proposed, based on the alternate use of certain operators (union, complementation, product and star...