930 search results - page 110 / 186 » Advanced Engineering Informatics |
EDBTW
2006
Springer
14 years 14 days ago
2006
Springer
Regular path queries are the basic navigational component of virtually all the mechanisms for querying semistructured data commonly found in information integration applications, W...
FASE
2006
Springer
14 years 14 days ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
IEAAIE
2000
Springer
14 years 12 days ago
2000
Springer
This paper describes a computer component manufacturing scenario which concentrates on the application of data mining techniques to improve information management and process impr...
ICSE
1995
IEEE-ACM
14 years 11 days ago
1995
IEEE-ACM
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
TAPSOFT
1991
Springer
14 years 9 days ago
1991
Springer
Abstract. CBS is a simple and natural CCS-like calculus where processes speak one at a time and are heard instantaneously by all others. Speech is autonomous, contention between sp...