4460 search results - page 137 / 892 » Resources in process algebra |
173
click to vote
ECOWS
2009
Springer
16 years 28 days ago
2009
Springer
SPARQL is the standard query language for RDF, but currently is a read-only language defined in a way similar to SQL: Queries can be formulated, are submitted to a single process...
146
click to vote
IJSWIS
2008
15 years 6 months ago
2008
We propose a novel object discovery framework integrating the application layer of Bluetooth and RFID standards. The approach is motivated and illustrated in an innovative u-comme...
179
click to vote
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
An important aspect in the design of hardware/software systems is design-for-test. Improving the testability of a hardware/software system typically implies improving the controll...
168
click to vote
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
178
click to vote
TABLEAUX
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. PA (Process algebra) is the name that has become common use to denote the algebra with a sequential and parallel operator (without communication), plus recursion. PA-proc...