1654 search results - page 46 / 331 » Comparing Two Software Design Process Theories |
111
click to vote
MEMOCODE
2008
IEEE
15 years 4 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
HICSS
1996
IEEE
15 years 2 months ago
1996
IEEE
: We have designed a Real-Time Co-Operating System (RTCOS) for simultaneously supporting real-time and non-real-time activities on a workstation with two or more processors. The RT...
DSTEP
2010
14 years 8 months ago
2010
: Variability management in software intensive systems can be a complex and cognitively challenging process. Configuring a Software Product Line with thousands of variation points ...
121
click to vote
FOSSACS
2001
Springer
15 years 2 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
CISS
2007
IEEE
15 years 4 months ago
2007
IEEE
— We study the case of a single transmitter, which communicates to two co-located users, through an independent block Rayleigh fading channel. The co-location nature of the users...