592 search results - page 29 / 119 » Can Component Service-Based Systems Be Proved Correct |
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
Some recent Petri net-based approaches to fault diagnosis of distributed systems suggest to factor the problem into local diagnoses based on the unfoldings of local views of the sy...
NDQA
2003
13 years 9 months ago
2003
We describe our approach in constructing question answering systems, which involves natural language parsing enhanced with named entity extraction and part-of-speech tagging. Perf...
JMM2
2008
13 years 7 months ago
2008
Nowadays m-banking (mobile banking) is widely used in many banks. It has embarked upon supply of various services based on different systems and with the aid of various services su...
TC
2002
13 years 7 months ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
RTSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Schedulability analysis of fixed priority preemptive scheduled systems can be performed by calculating the worst-case response-time of the involved processes. The system is deemed...