5863 search results - page 1054 / 1173 » On Model-Checking of P Systems |
139
click to vote
CSREAPSC
2006
15 years 5 months ago
2006
Home Automation Technologies make possible the deployment of home monitoring and control applications. These technologies rely on different networking technologies. Some of them ar...
119
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
144
Voted
DAIS
2006
15 years 5 months ago
2006
Abstract. Mobile devices are increasingly aware of their respective locations and vicinity and tend to communicate rather loosely with each other; therefore asynchronous communicat...
150
click to vote
DAIS
2006
15 years 5 months ago
2006
This paper describes a novel approach to fault-tolerance in distributed object-based systems. It uses the fragmented-object model to integrate replication mechanisms into distribut...
109
click to vote
IADIS
2004
15 years 5 months ago
2004
This paper describes a different approach to teaching a web-applications course. Rather than lecturing, the instructor organizes material and serves as a guide as students work th...