3454 search results - page 334 / 691 » Modern computer algebra |
167
click to vote
SCW
2006
IEEE
16 years 23 days ago
2006
IEEE
One of the key aspects in the implementation of reactive behaviour in the web and, most importantly, in the semantic web is the development of event detection engines. An event en...
146
click to vote
SAC
2006
ACM
16 years 21 days ago
2006
ACM
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
176
click to vote
BIRTHDAY
2005
Springer
16 years 9 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
165
click to vote
COCO
2005
Springer
16 years 8 days ago
2005
Springer
The inertia of an n × n matrix A is defined as the triple (i+(A), i−(A), i0(A)), where i+(A), i−(A), and i0(A) are the number of eigenvalues of A, counting multiplicities, w...
188
click to vote
COORDINATION
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...