1432 search results - page 93 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
108
click to vote
PADS
2005
ACM
15 years 9 months ago
2005
ACM
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
224
Voted
SIGMOD
2009
ACM
16 years 3 months ago
2009
ACM
The Dryad and DryadLINQ systems offer a new programming model for large scale data-parallel computing. They generalize previous execution environments such as SQL and MapReduce in...
210
Voted
VLDB
2004
ACM
16 years 3 months ago
2004
ACM
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...
131
click to vote
CIKM
2007
Springer
15 years 9 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
131
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...