Sciweavers

5334 search results - page 722 / 1067
» Communicating quantum processes
Sort
View
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 10 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
186
Voted
ICIP
2007
IEEE
15 years 10 months ago
Unsupervised Nonlinear Manifold Learning
This communication deals with data reduction and regression. A set of high dimensional data (e.g., images) usually has only a few degrees of freedom with corresponding variables t...
Matthieu Brucher, Christian Heinrich, Fabrice Heit...
ARCS
2006
Springer
15 years 10 months ago
Background Data Acquisition and Carrying: The BlueDACS Project
As an alternative to ad hoc wireless sensor networks, we propose to utilize the mobile devices that are carried by people who walk along the site on which the sensors are deployed....
Thomas Wieland, Martin Fenne, Benjamin Stöcke...
CAISE
2006
Springer
15 years 10 months ago
Supporting Customised Collaboration over Shared Document Repositories
The development of collaborative environments that not only manage information and communication, but also support the actual work processes of organisations is very important. XML...
Claudia-Lavinia Ignat, Moira C. Norrie
CIA
2006
Springer
15 years 10 months ago
Conversation-Based Specification and Composition of Agent Services
There is great promise in the idea of having agent or web services available on the internet, that can be flexibly composed to achieve more complex services, which can themselves t...
Quoc Bao Vo, Lin Padgham