Sciweavers

2493 search results - page 154 / 499
» Tool Support for Design by Contract
Sort
View
PADS
2005
ACM
15 years 3 months ago
Simulating Realistic Packet Routing without Routing Protocols
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...
George F. Riley, Dheeraj Reddy
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
15 years 4 months ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson
WWW
2007
ACM
15 years 10 months ago
C-ODO: an OWL Meta-model for Collaborative Ontology Design
The design and maintenance of ontologies is a complex social collaborative activity, and this is true especially for semantic-web ontologies. On the one hand, such activity calls ...
Aldo Gangemi, Jos Lehmann, Valentina Presutti, Mal...
BCSHCI
2008
14 years 11 months ago
Effect of fidelity in diagram presentation
The visual fidelity (fidelity) of a design diagram affects perception and design performance. Hand-drawn diagrams are more effective working documents for early design tasks such ...
Louise Yeung, Beryl Plimmer, Brenda Lobb, Douglas ...
NCA
2010
IEEE
14 years 4 months ago
Anatomy-based organization of morphology and control in self-reconfigurable modular robots
In this paper we address the challenge of realizing full-body behaviors in scalable modular robots. We present an experimental study of a biologically inspired approach to organize...
David Johan Christensen, Jason Campbell, Kasper St...