1888 search results - page 57 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
169
Voted
CSCW
2011
ACM
14 years 9 months ago
2011
ACM
The performance of a collaborative system depends on how two mandatory collaborative tasks, processing and transmission of user commands, are scheduled. We have developed multiple...
103
Voted
ICWE
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
124
click to vote
FMCAD
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
104
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
132
click to vote
MTA
2002
15 years 2 months ago
2002
In this paper we introduce a new model for the definition and the implementation of quality of service (QoS) in distributed multimedia systems. The model provides both the users an...