8555 search results - page 1394 / 1711 » Property Based Coordination |
239
click to vote
IMR
2004
Springer
16 years 5 days ago
2004
Springer
Virtual prototyping and numerical simulations are increasingly replacing real mock-ups and experiments in industrial product development. Many of these simulations, e.g. for the p...
171
click to vote
ISCIS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
162
click to vote
ISI
2004
Springer
16 years 5 days ago
2004
Springer
Internet chatrooms are common means of interaction and communications, and they carry valuable information about formal or ad-hoc formation of groups with diverse objectives. This ...
188
click to vote
ISMIR
2004
Springer
16 years 5 days ago
2004
Springer
Despite the immense potential of Peer-to-Peer (P2P) networks in facilitating collaborative applications, they have become largely known as a free haven for pirated music swapping....
178
click to vote
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...