345 search results - page 65 / 69 » A process logic for distributed system synthesis |
85
Voted
CIKM
2005
Springer
15 years 3 months ago
2005
Springer
Faced with growing knowledge management needs, enterprises are increasingly realizing the importance of seamlessly integrating critical business information distributed across bot...
ERLANG
2007
ACM
15 years 1 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Service matchmaking is the process of finding suitable services given by the providers for the service requests of consumers. Previous approaches to service matchmaking is mostly ...
FPGA
2009
ACM
15 years 4 months ago
2009
ACM
Many natural processes exhibit exponential decay and, consequently, computational scientists make extensive use of e−x in computer simulation experiments. While it is common to ...
89
Voted
EMSOFT
2005
Springer
15 years 3 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...