Sciweavers

5961 search results - page 485 / 1193
» Design Science and Software Engineering
Sort
View
IADIS
2003
15 years 8 months ago
Evaluation Resources Gateways Websites
This paper describes/represents an approach to the design of an information retrieval of providing an search of users. The Next generation of information systems will rely on coll...
Omar Larouk, Salah Dalhoumi
CODES
1996
IEEE
15 years 11 months ago
A Multi-Level Transformation Approach to HW/SW Codesign: A Case Study
This reported work applies a transformational synthesis approach to hardware/software codesign. In this approach, the process of algorithm design is coupled early on with hardware...
Tommy King-Yin Cheung, Graham R. Hellestrand, Pras...
176
Voted
CSE
2009
IEEE
16 years 2 months ago
Ceremonies Formal Analysis in PKI's Context
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
Jean Everson Martina, Túlio Cicero Salvaro ...
RTA
1997
Springer
15 years 11 months ago
The Invariant Package of MAS
A prototypical framework, which was used for building software components for symbolic computation, is extended as follows. First, we demonstrate that the server components can be ...
Manfred Göbel
210
Voted
GI
2008
Springer
15 years 8 months ago
Features of a Toolkit for open Human-Computer Interaction with Ambient Services
: For the deployment of ambient services it is unrealistic to base user-computer interaction on traditional mouse or keyboard. Replacing them with other proprietary devices just mo...
Andreas Lorenz