4957 search results - page 425 / 992 » Simplifying Distributed System Development |
208
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
104
Voted
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Millions of research funding has been put down to develop - what I call - old forms - of reasoning that are characterized by strong focus on theoretical properties and strict adher...
114
Voted
METAINFORMATICS
2004
Springer
15 years 6 months ago
2004
Springer
This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
105
Voted
SIGCSE
2008
ACM
15 years 1 months ago
2008
ACM
Traditional coverage of network programming techniques in a computer networking course addresses sockets, remote procedure call, and object-oriented remote procedure call. We prop...
130
Voted
IEE
2011
14 years 8 months ago
2011
: In the development of software systems, quality properties should be considered along with the development process so that the qualities of software systems can be inferred and p...