9702 search results - page 1628 / 1941 » Communicating Mobile Processes |
196
click to vote
ICCAD
2007
IEEE
15 years 10 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
185
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
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....
181
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
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...
159
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
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...
194
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
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...