2631 search results - page 252 / 527 » Software Development with Code Maps |
116
Voted
CCE
2008
15 years 3 months ago
2008
Transport and separation processes in ionic systems located in the porous medium are investigated. The software for the modeling of the combined electroosmotic, migration, diffusi...
130
Voted
CSSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
231
Voted
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
160
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an approach to the automatic derivation of executable Process Network specifications from Weakly Dynamic Applications. We introduce the notions of Dynamic Single Assig...
100
Voted
ICSE
2010
IEEE-ACM
15 years 8 months ago
2010
IEEE-ACM
It is often assumed that developers’ view of their system and its environment is always consistent with everyone else’s; in practice, this assumption can be false, as the deve...