Sciweavers

1838 search results - page 164 / 368
» Process modelling: the deontic way
Sort
View
DATE
2003
IEEE
130views Hardware» more  DATE 2003»
15 years 11 months ago
Noise Macromodel for Radio Frequency Integrated Circuits
† Noise performance is a critical analog and RF circuit design constraint, and can impact the selection of the IC system-level architecture. It is therefore imperative that some ...
Yang Xu, Xin Li, Peng Li, Lawrence T. Pileggi
CSFW
1998
IEEE
15 years 10 months ago
Formal Analysis of a Non-Repudiation Protocol
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
Steve Schneider
WSC
2008
15 years 8 months ago
A methodology for input data management in discrete event simulation projects
Discrete event simulation (DES) projects rely heavily on high input data quality. Therefore, the input data management process is very important and, thus, consumes an extensive a...
Anders Skoogh, Björn Johansson
HCI
2007
15 years 7 months ago
Developing a Mobile, Service-Based Augmented Reality Tool for Modern Maintenance Work
In the VTT PLAMOS (Plant Model Services for Mobile Process Maintenance Engineer) project new tools were developed for modern maintenance work carried out in industrial plants by ei...
Paula Savioja, Paula Järvinen, Tommi Karhela,...
UAIS
2002
100views more  UAIS 2002»
15 years 6 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...