2357 search results - page 306 / 472 » Computing Refactorings of Behavior Models |
131
click to vote
JDCTA
2008
15 years 3 months ago
2008
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
100
click to vote
EMINDS
2007
15 years 3 months ago
2007
Abstract We introduce our human-centered approach for designing a ubiquitous computing system which aims at providing a better experience for shoppers at a supermarket. We investig...
147
click to vote
RAID
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. An epidemic is malicious code running on a subset of a community, a homogeneous set of instances of an application. Syzygy is an epidemic detection framework that looks f...
122
click to vote
AUTOMATICA
2010
15 years 1 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...
122
click to vote
CORR
2010
Springer
15 years 23 days ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...