930 search results - page 110 / 186 » Advanced Engineering Informatics |
108
click to vote
EDBTW
2006
Springer
15 years 4 months 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...
139
click to vote
FASE
2006
Springer
15 years 4 months 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...
101
Voted
IEAAIE
2000
Springer
15 years 4 months 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
15 years 4 months 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...
111
Voted
TAPSOFT
1991
Springer
15 years 4 months 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...