Sciweavers

3024 search results - page 403 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
SPE
1998
118views more  SPE 1998»
15 years 5 months ago
Implementing a Zooming User Interface: Experience Building Pad++
We are investigating a novel user interface paradigm based on zooming, in which users are presented with a zooming view of a huge planar information surface. We have developed a s...
Benjamin B. Bederson, Jonathan Meyer
EMSOFT
2005
Springer
15 years 11 months ago
Using de-optimization to re-optimize code
The nature of embedded systems development places a great deal of importance on meeting strict requirements in areas such as static code size, power consumption, and execution tim...
Stephen Hines, Prasad Kulkarni, David B. Whalley, ...
SEMWEB
2009
Springer
15 years 10 months ago
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
Daniel Elenius, David Martin, Reginald Ford, Grit ...
JCP
2008
145views more  JCP 2008»
15 years 6 months ago
Impact of Shift Operations on (-1+j)-Base Complex Binary Numbers
Complex numbers play a very important role in various applications of electrical and computer engineering. These days, arithmetic operations dealing with these numbers rely on a &q...
Tariq Jamil
IFIPTM
2010
145views Management» more  IFIPTM 2010»
15 years 4 months ago
A Formal Notion of Trust - Enabling Reasoning about Security Properties
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
Andreas Fuchs, Sigrid Gürgens, Carsten Rudolp...