73 search results - page 12 / 15 » CPAM, A Protocol for Software Composition |
107
click to vote
TGC
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Business-to-Business (B2B) collaboration is becoming a pivotal way to bring today’s enterprises to success in the dynamically changing e-business environment. Though many busine...
IFM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
127
click to vote
ECOOP
1998
Springer
15 years 1 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
77
Voted
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
Message Sequence Charts (MSCs) are an attractive visual formalism widely used to capture system requirements during the early design stages in domains such as telecommunication sof...