2984 search results - page 411 / 597 » Method engineering process patterns |
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
We propose a timed process calculus for wireless systems exposed to communication collisions. The operational semantics of our calculus is given in terms of a labelled transition ...
114
Voted
VLSI
2007
Springer
15 years 7 months ago
2007
Springer
— Software simulation remains the most used method for VHDL RTL functional verification. The functional verification process essentially consists of two parts. The first one is t...
IUI
2004
ACM
15 years 7 months ago
2004
ACM
While developing the Simple Gesturing User Interface (SGUI) API for incorporating simple gestures into personal digital assistant (PDA) user interfaces, we developed an object-bas...
131
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
IWPC
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...