4196 search results - page 309 / 840 » Supporting the development of network programs |
131
Voted
IEEEIAS
2009
IEEE
15 years 11 months ago
2009
IEEE
: The link between security engineering and systems engineering exists at the earliest stage of systems development, and, as a whole, there is sufficient evidence to suggest the di...
111
Voted
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
144
click to vote
COOPIS
1998
IEEE
15 years 9 months ago
1998
IEEE
Parallel and distributed programming is conceptually harder to undertake and to understand than sequential programming, because a programmer often has to manage the coexistence an...
204
click to vote
GPC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...
139
click to vote
IJAIT
2006
15 years 4 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...