Sciweavers

1390 search results - page 149 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
CODES
2009
IEEE
15 years 6 months ago
An MDP-based application oriented optimal policy for wireless sensor networks
Technological advancements due to Moore’s law have led to the proliferation of complex wireless sensor network (WSN) domains. One commonality across all WSN domains is the need ...
Arslan Munir, Ann Gordon-Ross
AUIC
2002
IEEE
15 years 8 months ago
Computer-Aided Sketching to Capture Preliminary Design
This paper describes the vital role of freehand sketching in the design process. When designers first tackle a design problem they usually do so by sketching. We will explore the ...
Mark D. Apperley, Beryl Plimmer
108
Voted
TACS
1991
Springer
15 years 6 months ago
On Nets, Algebras and Modularity
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
FORTE
1996
15 years 4 months ago
Formal Description Techniques - How Formal and Descriptive are they?
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
Manfred Broy
KES
2004
Springer
15 years 8 months ago
Ontological Representations of Software Patterns
This paper1 is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems...
Jean-Marc Rosengard, Marian Florin Ursu