1543 search results - page 238 / 309 » Using a Groupware Space for Distributed Requirements Enginee... |
141
click to vote
ICPP
1998
IEEE
15 years 6 months ago
1998
IEEE
Use of anycast service can considerably simplify many communication applications. Two approaches can be used for routing anycast packets. Single-path routing always uses the same ...
119
Voted
SIGSOFT
2009
ACM
16 years 3 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
127
click to vote
SIGSOFT
2007
ACM
16 years 3 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
129
click to vote
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Architecture description languages are used to describe both the hardware and software architecture of an application, at system-level. The basic software components are intended ...
128
click to vote
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
Software code caches help amortize the overhead of dynamic binary transformation by enabling reuse of transformed code. Since code caches contain a potentiallyaltered copy of ever...