2293 search results - page 82 / 459 » Temporal Logic in Information Systems |
IANDC
2010
14 years 8 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
DSN
2008
IEEE
15 years 4 months ago
2008
IEEE
Temporal locality in workloads creates conditions in which a server, in order to remain available, should quickly process bursts of requests with large service requirements. In th...
TSMC
2002
14 years 9 months ago
2002
A distributed robot control system is proposed based on a temporal self-organizing neural network, called competitive and temporal Hebbian (CTH) network. The CTH network can learn ...
CONCUR
1993
Springer
15 years 2 months ago
1993
Springer
cal Technique for Process Abstraction Glenn Bruns Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, UK Abstract. With algebraic laws a process can be simpli...
118
click to vote
MIS
1999
Springer
15 years 2 months ago
1999
Springer
In a video database, large amount of information involving video, audio, and/or images needs to be stored and managed. Therefore, there is an important need for novel techniques a...