Sciweavers

1390 search results - page 209 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
FSEN
2007
Springer
15 years 6 months ago
Adapting the UPPAAL Model of a Distributed Lift System
Abstract. Groote, Pang and Wouters (2001) analyzed an existing distributed lift system using the process algebraic toolset µCRL. Pang, Karstens and Fokkink (2003) analyzed a redes...
Wan Fokkink, Allard Kakebeen, Jun Pang
AIPR
2004
IEEE
15 years 3 months ago
Embedded Reading Device for Blind People: A User-Centred Design
A handheld PDA-based system is being developed to help blind people in their daily tasks. The design combines in a continuous process Users' involvement and Engineers' e...
Jean-Pierre Peters, Céline Thillou, Silvio ...
WSC
2007
15 years 2 months ago
Enabling industrial scale simulation/emulation models
OLE Process Control (OPC) is an industry standard that facilitates the communication between PCs and Programmable Logic Controllers (PLC). This communication allows for the testin...
Michael Johnstone, Douglas C. Creighton, Saeid Nah...
CMOT
2011
14 years 3 months ago
A generic architecture for redesign of organizations triggered by changing environmental circumstances
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
Mark Hoogendoorn, Catholijn M. Jonker, Jan Treur
EMSOFT
2005
Springer
15 years 5 months ago
Passive mid-stream monitoring of real-time properties
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
Lalita Jategaonkar Jagadeesan, Ramesh Viswanathan