Sciweavers

1636 search results - page 179 / 328
» Reasoning About Quantum Systems
Sort
View
LCPC
1999
Springer
15 years 10 months ago
Language Support for Pipelining Wavefront Computations
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
Bradford L. Chamberlain, E. Christopher Lewis, Law...
ICOST
2010
Springer
15 years 10 months ago
Use Cases for Abnormal Behaviour Detection in Smart Homes
While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this...
An C. Tran, Stephen Marsland, Jens Dietrich, Hans ...
CPAIOR
2006
Springer
15 years 10 months ago
Event-Driven Probabilistic Constraint Programming
Real-life management decisions are usually made in uncertain environments, and decision support systems that ignore this uncertainty are unlikely to provide realistic guidance. We ...
Armagan Tarim, Brahim Hnich, Steven David Prestwic...
FTDCS
2004
IEEE
15 years 10 months ago
Introducing Compositionality in Web Service Descriptions
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
Monika Solanki, Antonio Cau, Hussein Zedan
FM
2006
Springer
121views Formal Methods» more  FM 2006»
15 years 10 months ago
Properties of Behavioural Model Merging
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
Greg Brunet, Marsha Chechik, Sebastián Uchi...