4604 search results - page 296 / 921 » Concurrency in Synchronous Systems |
163
click to vote
JOT
2002
15 years 6 months ago
2002
Java supports distributed programming using threads and Remote Method Invocation (JRMI). However, a Java thread does not match well with the object concept, and JRMI cannot easily...
159
click to vote
INFSOF
2002
15 years 6 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
171
click to vote
TSE
2002
15 years 6 months ago
2002
The Inequality Necessary Condition Analyzer (INCA) is a finite-state verification tool that has been able to check properties of some very large concurrent systems. INCA checks a p...
198
click to vote
ISPE
2003
15 years 8 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
202
click to vote
TKDE
2002
15 years 6 months ago
2002
As technological advances are made in software and hardware, the feasibility of accessing information "any time, anywhere" is becoming a reality. Furthermore, the diversi...