Sciweavers

1908 search results - page 248 / 382
» How to teach software modeling
Sort
View
FSTTCS
2006
Springer
15 years 8 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
ISN
2000
Springer
130views Communications» more  ISN 2000»
15 years 8 months ago
A Mobile Agent Brokering Environment for the Future Open
The growth of commercial activities across networks has led to the network itself becoming a competitive marketplace with a multitude of vendors, operators and customers. In such a...
David Chieng, Ivan Ho, Alan Marshall, Gerard Parr
AADEBUG
1995
Springer
15 years 8 months ago
Transparency Debugging with Explanations for Novice Programmers
Novice programmers often find programming to be a difficult and frustrating task. Because of their lack of experience in programming novices have different needs to experts when i...
Philip A. Smith, Geoffrey I. Webb
CISSE
2008
Springer
15 years 6 months ago
Network Topology Impact on Influence Spreading
-- Networks composed of large number of nodes interacting in structured ways such as power grids, communication networks, social networks or market networks are critical port of th...
Sasho Gramatikov, Dimitar Trajanov, Ljupco Kocarev...
114
Voted
ESORICS
2010
Springer
15 years 5 months ago
k-Zero Day Safety: Measuring the Security Risk of Networks against Unknown Attacks
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
Lingyu Wang, Sushil Jajodia, Anoop Singhal, Steven...