1151 search results - page 165 / 231 » Collaborative Programming: Applications of Logic and Automat... |
144
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive d...
128
Voted
IFM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
136
Voted
ISORC
2005
IEEE
15 years 9 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
128
click to vote
MKWI
2008
15 years 5 months ago
2008
: Today, electronic cross-company collaboration is about to gain significant momentum, but still shows weaknesses with respect to productivity, flexibility and quality: A lack of s...
142
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...