Sciweavers

5668 search results - page 442 / 1134
» Overlaps in Requirements Engineering
Sort
View
DAC
2001
ACM
16 years 7 months ago
Automated Pipeline Design
The interlock and forwarding logic is considered the tricky part of a fully-featured pipelined microprocessor and especially debugging these parts delays the hardware design proce...
Daniel Kroening, Wolfgang J. Paul
SIGSOFT
2008
ACM
16 years 7 months ago
Asynchronous exception propagation in blocked tasks
Asynchronous exception propagation is a useful alternative form of communication among threads, especially if timely propagation is ensured. However, timely propagation is impossi...
Roy Krischer, Peter A. Buhr
SIGSOFT
2007
ACM
16 years 7 months ago
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
Yuriy Brun, Nenad Medvidovic
WWW
2006
ACM
16 years 7 months ago
Rapid prototyping of web applications combining domain specific languages and model driven design
There have been several authoring methods proposed in the literature that are model based, essentially following the Model Driven Design philosophy. While useful, such methods nee...
Demetrius Arraes Nunes, Daniel Schwabe
WWW
2003
ACM
16 years 7 months ago
KAON SERVER - A Semantic Web Management System
The growing use of ontologies in applications creates the need for an infrastructure that allows developers to more easily combine different software modules like ontology stores,...
Raphael Volz, Daniel Oberle, Steffen Staab, Boris ...