105 search results - page 15 / 21 » Introducing concurrency in CS 1 |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
79
Voted
ENTCS
2007
14 years 9 months ago
2007
Abstract Machine Describing Event Structure Composition Claudia Faggian and Mauro Piccolo 1 ,2 ,3 Dipartimento di Matematica Pura e Applicata – PPS Universit´a di Padova – Par...
91
Voted
IJCV
2007
14 years 9 months ago
2007
Challenging object detection and segmentation tasks can be facilitated by the availability of a reference object. However, accounting for possible transformations between the diff...
97
Voted
DEDS
1998
14 years 9 months ago
1998
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
99
Voted
TDSC
2010
14 years 4 months ago
2010
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...