678 search results - page 112 / 136 » Endeavors: A Process System Infrastructure |
ICDCSW
2002
IEEE
14 years 26 days ago
2002
IEEE
One of the problems faced by large, global organizations and enterprises is to effectively enable their employees to collaborate across locations. People need collaborative work s...
NDSS
2000
IEEE
14 years 8 days ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
WACC
1999
ACM
14 years 6 days ago
1999
ACM
The interoperability of systems to support cooperative work requires moving beyond purely technical issues; it also concerns the means and practices that users adopt to articulate...
CAV
1998
Springer
14 years 4 days ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
MM
1996
ACM
14 years 1 days ago
1996
ACM
We present a regional news on demand television service over the Internet developed for the Norwegian Broadcasting Corporation (NRK), using a distributed video server and a WWW-in...